このホームページは主に自分達の好きな事とか色々です。の予定。。。
１．好きなこと
２．研究のこと
３．やってみたこと
更新履歴
05/02/27 ・ 「２．研究のこと」−「１．λ計算Church-Rosserの定理」を追加。
04/07/19 ・ 簡易メインページ作成！！ ・ ｢１．好きなこと｣−｢１．自作フリーソフト｣を追加。