ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。 Coq の解説記事を書くために勉強しています。 (1): forall A B: Prop, (A->B) -> A -> B. CoqIDEのつかいかた。forall と -> の証明。 (2): forall A B: Prop, ~(A ∨ B) -> (~A ∧ ~…

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。 充足可能性問題 - Wikipedia のソルバーを作ろうとしています。 (1): 入出力フォーマット。全探索するソルバ つづく...

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。 今度は The Programming Language Lua のソースコードを読みます 履歴 (0): 参考資料まとめ (1): データ構造。main から VMメインループまで (2): スタック構造や命令フォーマットC…

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。水曜日は Structure and Interpretation of Classical Mechanics (SICM) の読書の日です。 履歴 (1): 1〜1.4 の途中 (2): 1.4 の途中〜1.5 (3): 1.6 つづく:無期限休止中ですorz

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。 金曜日は YARV: Yet Another Ruby VM のソースコード読みの日です。 履歴 (1): main から yarv コアに到達するまで (2): コンパイル処理の流れとデータ構造 (3): if のコンパイル (…