古森 雄一 ( こもり ゆういち )
English page is available.
E-mail: komori_yuich@\alpha (\alpha に yahoo.co.jp を代入して使ってください)
学歴・職歴
Google Scholar Citations
小野勝次先生追悼シンポジウム
2002 年 5 月 31 日, 6 月 1 日; 静岡大学 大学会館;
講演記録集 pdf file, dvi file
著書:
現代数理論理学序説
(日本評論社, 古森雄一・小野寛晰[著], 2010 年 6 月発行)
論文(含む講究録等)
講演
- 変数を区別しないときの Gentzen の基本定理,
日本数学会 秋季総合分科会(名古屋大学), 2010年9月23日
- 命題論理再発見--誤解と間違いからの展開--(
動画), 日本数学会 企画特別講演(東北大学), 2007年9月24日
- 古典命題論理の公理化についての問題など,
日本数学会 年会(埼玉大学), 2007年3月27日
- 論理和記号と存在記号を持たない論理での論理和特性と存在特性, 日本数学会
秋季総合分科会(岡山大学), 2005年9月20日
- 古典論理で極小な論理式で公理化される論理についての問題など, 日本数学会
秋季総合分科会(岡山大学), 2005年9月20日
- 汎用システムとしての「ラムダ計算 + 論理」, 計算機言語談話会(産業技術総合研究所(千里)),
2005年3月25日
- 古典論理の証明図変形の停止性と合流性, 日本数学会
秋季総合分科会(北海道大学), 2004年9月21日
- 2001 年数学会秋季総合分科会の予稿など
- 2002 年数学会年会での話
- 2002 年数学会秋季総合分科会 特別講演
科学研究費補助金研究成果報告書
メーリングリスト
シンポジウムの写真など
便利な道具
2018 年 04 月 26 日に更新
2016 年 12 月 02 日に更新
1997 年 01 月 13 日に作成