マンガを置かせてもらっていた、「マンガごっちゃ」が来年の3月に閉じることになりました。今までありがとうございました。
移行先として、ひとまず pixiv に置く事にしました。
https://www.pixiv.net/users/1315989
これまでのものの再アップと、続きの追加をしてゆこうかと思っています。
再アップのものについては、たいしてうまくなっていないものの、昔の絵に耐えきれず、「描き直し」の誘惑に負けてしまいました…。今後は未定ですが、ゆっくり続けてゆくつもりです。
もしマンガを見ていた方がいました ら、今後ともどうぞよろしく。
今まで見てきた文法を使って、ラムダ計算の文法を書いてみます。
ざっと作ったので、変な式も書けてしまうかもしれませんが、だいたいこんな感じで、コンピュータの言語の文法を決めることが出来る、ということだと思って見てください…。
今から思えば、最初にプログラミング言語を見て、この構造を把握しておいたほうが、分かりやすかったような気がしますが…。
最近は人工知能「ブーム」が終わりつつある、なんて言葉もささやかれ始めたようです。が、人工知能ブームはこれまでも何度も起こってきました。
アリストテレスの名辞論理学に対して、その後の時代のストア派によって作られた論理学は、今の命題論理学に近いものだったようです。
