大家 幸敏 修士論文および関連資料

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ファイル

inserted by FC2 system