課題

Completion

Term Rewriting System の Completionの実装が完了する。NormalFormの取得方法やCriticalPairのRewriteRuleへの追加順序など検討しなければならないことは山ほど残ってるけど、とりあえず、コアの実装は完了。あとはGUIをがりがりと書くだけ。

Unificationの実装・その後

とりあえず、注文を付けられた場所の修正および新機能の追加が完了。満足。 色使いをもっと華やかに…? グレースケールから淡い青系に変更しました。 エラーメッセージをもっと分かりやすく なぜダメなのかを少しだけ詳しく書きました。 画面をきれいにでき…

Unificationの実装

月曜火曜と某合同説明会に行ってきました。いやあ、東京ってあんなに遠いところにあったんだね。久しぶりに実感。一泊二日で諭吉先生が二人もいなくなるとは思わなかったよ。 で、22時ぐらいに帰ってきたんですが、それから課題のプログラミングをずっとし…

終わりますた

火曜日に発表を行って、終了しますた。最後の最後まで、どうしても組み込みたかった機能を組み込むことができなかったのが残念です。それと、個人的にはあまり満足のいく結果を得ることができませんでした。 今回の課題では、画像処理を再帰的な手続きで解こ…

終わりそうにない

思ったよりも回路が複雑なので、終わるめどが立ちません。土曜日中(すでに今日)には動かしたいと思ってたのに!! いま、ちょっとずつシミュレーションで動作確認をしてます。 ちょうねみ。

残り4日です

久しぶりに回路を描こうとしたら、まったく回路のイメージが頭に浮かびませんでした。ということで、急遽、既存の回路を応用することで何とかごまかす方向に!! 去年も同じごまかしを使って、1個も回路を描いてないし、今年も通用するのかとどきどきしてま…