研究キーワードが「mathematical logic」である研究者 30件 30件60件90件120件150件 オカダ ミツヒロ 岡田 光弘 Okada Mitsuhiro 慶應義塾大学 文学部 名誉教授 イケダ コウイチロウ 池田 宏一郎 Koichiro IKEDA 法政大学 経営学部 市場経営学科 教授 キノシタ シュウジ 木下 修司 Shuji Kinoshita 東京都立産業技術大学院大学 産業技術研究科 助教 アライ ノリコ 新井 紀子 Noriko Arai 国立情報学研究所 情報社会相関研究系 教授 テラウチ タチオ 寺内 多智弘 Tachio Terauchi 早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授 シムラ タツヤ 志村 立矢 Tatsuya SHIMURA 日本大学 理工学部 数学科 教授 キハラ タカユキ 木原 貴行 Takayuki Kihara 名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 准教授 江口 直日 Naohi Eguchi 千葉大学 理学部 数学・情報数理学科 日本学術振興会特別研究員 ニシムタ ユウキ 西牟田 祐樹 Yuki Nishimuta ヨシダ サトル 吉田 聡 Satoru YOSHIDA 公立鳥取環境大学 人間形成教育センター 教授 フチノ サカエ 渕野 昌 Sakaé FUCHINO 神戸大学 カナザワ マコト 金沢 誠 Makoto Kanazawa 法政大学 理工学部 創生科学科 教授 アキヨシ リョウタ 秋吉 亮太 Ryota Akiyoshi 慶應義塾大学 KGRI 特任助教 イマイ タケオ 今井 健男 Takeo Imai ぼのたけ アジャイルコーチ ユヤマ タカオ 湯山 孝雄 Takao Yuyama 京都大学 数理解析研究所 特定研究員 ナガシマ タカシ 永島 孝 Takashi Nagashima 一橋大学 サカイ ヒロシ 酒井 拓史 Hiroshi Sakai 神戸大学 システム情報学研究科 准教授 新井 敏康 Toshiyasu Arai 東京大学 大学院 数理科学研究科 教授 アラタケ ヒサシ 荒武 永史 Hisashi Aratake 小山工業高等専門学校 一般科 助教 カモ ヒロヤス 鴨 浩靖 Hiroyasu Kamo 奈良女子大学 准教授 ゴー ラビファドワ Fadoua Ghourabi 徳尾 健司 Kenji TOKUO 大分工業高等専門学校 情報工学科 教授 スズキ トシオ 鈴木 登志雄 Toshio SUZUKI 東京都立大学 理学研究科 数理科学専攻 准教授 モリ ソノコ 森 園子 Sonoko Mori 拓殖大学 政経学部 経済学科 政経学部経済学科 教授 ハットリ ヒロユキ 服部 裕幸 Hiroyuki Hattori 南山大学 人文学部 人類文化学科 教授 アベ タツヤ 安部 達也 ABE TATSUYA 千葉工業大学 人工知能・ソフトウェア技術研究センター人工知能・ソフトウェア技術研究センター その他 タカハシ マコト 髙橋 真 Makoto Takahashi 神戸大学 タナカ カズユキ 田中 一之 Kazuyuki Tanaka 東北大学 大学院理学研究科・理学部 数学専攻 教授 イトウ ソウヘイ 伊藤 宗平 Sohei Ito 長崎大学 情報データ科学部 准教授 オオハシマサ ノリ 大橋 正則 Msanori OHASHI 沼津工業高等専門学校 教養科 準教授 123