パスワードを忘れた? アカウント作成
624418 journal

YuAokiの日記: Prolog最低

日記 by YuAoki
情報科学研究科の学生になったんだなぁと実感すること。
  • prologのプログラミングをしている自分
  • 関数型言語のプログラミングをしている自分
  • LK証明図の練習をしている自分
  • 帰納法と再帰になれてゆく自分
この議論は賞味期限が切れたので、アーカイブ化されています。 新たにコメントを付けることはできません。
typodupeerror

開いた括弧は必ず閉じる -- あるプログラマー

読み込み中...