1+2*f(x,y,g(z)) 上のような数式を認識するにはどうすればよいかを考えてみた。（てか、酒飲んでるし、疲れてるからこれぐらいしか考えられない。） まず、必要なルール・目標を先に決めておく。 infix演算子とprefix演算子をあらかじめ決めておく。 演算子…

Term Rewriting System の授業のプログラミングの課題の最後の宿題をメモ。微妙に覚えてないし。 infix notationとprefix notationをごちゃ混ぜにした表記を可能にする。 複数ルールによるcritical pairsを求められるようにする。 ボタンにルールを与える。 …

大学院の授業がすべて終了しました。これでもう授業がないかと思うと、嬉しいような寂しいような… 正直よく分かりません。 まあ、とりあえずお酒を飲んで少しぐったりしてたら、さっきから頭痛が…