2004/07/01 発表資料
0701.tex 発表の際に使用したtexファイル。
0701.pdf 上のファイルをPDFにしたもの。
lamal.exe 古森先生が作成されたプログラム。ただし cygwin1.dll を利用しないものになっています。Windows用実行ファイル。
terms-in040701.txt 検証(?)用入力ファイル。コマンドラインで「lamal.exe < terms-in040701.txt」と入力します。
2005/03 修士論文
yukitoshi-2005.tex ラムダ計算における2進数計算
yukitoshi-2005.dvi 上のdviファイル