No.930
数学基礎論およびその応用
Metamathematics and it's applications
1995/07/31〜1995/08/03
加茂 静夫
Shizuo Kamo
目 次
神戸大学発達科学部 高橋 真 (Takahashi, Makoto)
名古屋大学多元数理研究科 安本 雅洋 (Yasumoto, Masahiro)
早稲田大学理工学部 江田 勝哉
東京大学大学院数理科学研究科 東川 雅志 (Higashikawa, Masasi)
Freie Universitat Berlin 渕野 昌 (Fuchino, Sakae)
大阪府立大学総合科学部 嘉田 勝 (KADA, Masaru)
早稲田大学理工学部数学科 湯浅 能史 (Yuasa, Yoshifumi)
神奈川大学工学部 阿部 吉弘 (Abe, Yoshihiro)
Nesin, Ali
筑波大学数学系 池田 宏一郎 (Ikeda, Koichiro)
神戸大学自然科学研究科 菊池 誠 (KIKUCHI, MAKOTO)
筑波大学数学研究科 池田 一磨 (Ikeda, Kazuma)
筑波大学数学研究科 若井 健太郎 (Wakai, Kentaro)
名古屋大学人間情報学研究科 / 名古屋大学人間情報学研究科 今田 宏司 / 篠田 寿一 (IMADA, KOJI / SHINODA, JUICHI)
(株)東芝本社 / 法政大学工学部 工藤 正史 / 田中 尚夫 (Kudoh, Masafumi / Tanaka, Hisao)