研究キーワードが「数理論理学」である研究者 90件 30件60件90件120件150件 オカダ ミツヒロ 岡田 光弘 Okada Mitsuhiro 慶應義塾大学 文学部 名誉教授 キノシタ シュウジ 木下 修司 Shuji Kinoshita 東京都立産業技術大学院大学 産業技術研究科 助教 古森 雄一 YUICHI KOMORI イケダ コウイチロウ 池田 宏一郎 Koichiro IKEDA 法政大学 経営学部 市場経営学科 教授 アライ ノリコ 新井 紀子 Noriko Arai 国立情報学研究所 情報社会相関研究系 教授 テラウチ タチオ 寺内 多智弘 Tachio Terauchi 早稲田大学 理工学術院 基幹理工学部 情報理工学科 教授 シムラ タツヤ 志村 立矢 Tatsuya SHIMURA 日本大学 理工学部 数学科 教授 キハラ タカユキ 木原 貴行 Takayuki Kihara 名古屋大学 大学院情報学研究科 数理情報学専攻 数理情報基礎論 准教授 角谷 良彦 Yoshihiko Kakutani 東京大学 情報理工学系研究科 助教(退職) ニシムタ ユウキ 西牟田 祐樹 Yuki Nishimuta モリ ソノコ 森 園子 Sonoko Mori 拓殖大学 政経学部 経済学科 政経学部経済学科 教授 ハットリ ヒロユキ 服部 裕幸 Hiroyuki Hattori 南山大学 人文学部 人類文化学科 教授 新井 敏康 Toshiyasu Arai 東京大学 大学院 数理科学研究科 教授 ヨシダ サトル 吉田 聡 Satoru YOSHIDA 公立鳥取環境大学 人間形成教育センター 教授 カナザワ マコト 金沢 誠 Makoto Kanazawa 法政大学 理工学部 創生科学科 教授 アキヨシ リョウタ 秋吉 亮太 Ryota Akiyoshi 慶應義塾大学 KGRI 特任助教 スズキ トシオ 鈴木 登志雄 Toshio SUZUKI 東京都立大学 理学研究科 数理科学専攻 准教授 イマイ タケオ 今井 健男 Takeo Imai ぼのたけ アジャイルコーチ ユヤマ タカオ 湯山 孝雄 Takao Yuyama 京都大学 数理解析研究所 特定研究員 カツタニ ヒロアキ 勝谷 浩明 Hiroaki Katsutani 豊田工業高等専門学校 一般科目 教授 イズミ マサアキ 和泉 正明 Masaaki Izumi 産業能率大学 情報マネジメント学部 現代マネジメント学科 教授 中村 順 Jun Nakamura 早稲田大学 基幹理工学研究科 数学応用数理専攻 ヒラサワ マサヒコ 平澤 雅彦 Masahiko Hirasawa 変位指数研究所 Senior Researcher モリオカ マサオミ 森岡 正臣 Masaomi Morioka ナンバ カンジ 難波 完爾 Kanji Namba 旧所属 弘前大学 教育学部 数学教育 教授,名誉教授 ジミー エイムズ Jimmy Aames Jimmy Aames 芝浦工業大学 工学部 助教 アラタケ ヒサシ 荒武 永史 Hisashi Aratake 小山工業高等専門学校 一般科 助教 カモ ヒロヤス 鴨 浩靖 Hiroyasu Kamo 奈良女子大学 准教授 アンドウ ユウキ 安東 祐希 Yuuki Andou 法政大学 文学部哲学科 教授 徳尾 健司 Kenji TOKUO 大分工業高等専門学校 情報工学科 教授 ナガシマ タカシ 永島 孝 Takashi Nagashima 一橋大学 サカイ マサヒロ 酒井 政裕 Masahiro Sakai Preferred Networks, Inc. Engineer ミキ ヒロフミ 三木 大史 Hirofumi Miki 四條畷学園短期大学 ライフデザイン総合学科 教授 モウリ モトヒコ 毛利 元彦 Motohiko Mouri 旧所属 東京電機大学 理工学部 情報科学科 助手 アオヤマ ヒロシ 青山 広 Hiroshi Aoyama 東海学園大学 人文学部 心理学科 教授 アベ タツヤ 安部 達也 ABE TATSUYA 千葉工業大学 人工知能・ソフトウェア技術研究センター人工知能・ソフトウェア技術研究センター その他 タカハシ マコト 髙橋 真 Makoto Takahashi 神戸大学 タナカ カズユキ 田中 一之 Kazuyuki Tanaka 東北大学 大学院理学研究科・理学部 数学専攻 教授 イトウ ソウヘイ 伊藤 宗平 Sohei Ito 長崎大学 情報データ科学部 准教授 オオハシマサ ノリ 大橋 正則 Msanori OHASHI 沼津工業高等専門学校 教養科 準教授 タナカ ヒロシ 田中 広志 Hiroshi Tanaka 近畿大学 工学部 教育推進センター 講師 イシハラ ハジメ 石原 哉 Hajime Ishihara 東邦大学 理学部 訪問教授 モリカワ オサム 森川 治 Osamu Morikawa マルヤマ アキオ 丸山 晃生 Akio Maruyama 福井工業高等専門学校 電気電子工学科 准教授 上條 良介 ryosuke kamijo 早稲田大学 ウエノ タケシ 上野 岳史 Takeshi Ueno 酪農学園大学 農食環境学群 食と健康学類 教授 カミデ ノリヒロ 上出 哲広 Norihiro Kamide 名古屋市立大学 データサイエンス学部 教授 イシイ タダオ 石井 忠夫 Tadao Ishii 新潟国際情報大学 情報文化学部 情報システム学科 助教授,准教授 ハシモト ヤスシ 橋本 安司 Yasusi Hasimoto 常磐短期大学 キャリア教養学科 准教授 池田 一磨 Kazuma Ikeda 杏林大学 保健学部 准教授 クロダ サトル 黒田 覚 Satoru Kuroda 群馬県立女子大学 文学部 総合教養学科 助教授,准教授 タナカ ヨシヒト 田中 義人 Yoshihito Tanaka 九州産業大学 経済学部 経済学科 教授 タカノ ミチオ 高野 道夫 Mitio Takano 新潟大学 教育学部 自然情報講座 教授 タナカ カツミ 田中 克己 Katsumi Tanaka 岡山大学 全学教育・学生支援機構 広大接続・学生支援センター 教授 イマムラ タクマ 今村 拓万 Takuma Imamura イワタ ソウヘイ 岩田 荘平 Sohei Iwata 愛知学院大学 教養部 講師 ニイデ ナオユキ 新出 尚之 Naoyuki Nide 奈良女子大学 生活環境学部 准教授 川井 新之介 Shinnosuke Quawai 自営業・在野研究者 キハラ ヒトシ 木原 均 Hitoshi Kihara 国際高等専門学校 国際高等専門学校 一般科目 教授 イノウエ タカオ 井上 茂雄 Takao Inoue 大和大学 情報学部情報学科 教授 キキョウ ヒロタカ 桔梗 宏孝 Hirotaka Kikyo 神戸大学 大学院システム情報学研究科 システム情報学専攻 教授 ハセベ コウジ 長谷部 浩二 Koji Hasebe 筑波大学 システム情報系 情報工学域 准教授 アダチ タカノリ 足立 高徳 Takanori Adachi 東京都立大学 大学院経営学研究科 特任教授 コバヤシ ムネヒロ 小林 宗広 Munehiro Kobayashi 株式会社シルフ・インスティテュート 安本 雅洋 Masahiro Yasumoto フカヤマ ヨウヘイ 深山 洋平 Yohei Fukayama 旭川市立大学 情報教育センター事務室 室長 タカハシ ジョウジ 高橋 讓嗣 TAKAHASHI JOJI 神戸大学 大学院人間発達環境学研究科 人間環境学専攻 教授 クラハシ タイシ 倉橋 太志 Taishi Kurahashi 神戸大学 大学院システム情報学研究科 情報科学専攻 准教授 髙村 博紀 Hiroki Takamura 日本品質保証機構 キムラ ダイスケ 木村 大輔 Daisuke Kimura 東邦大学 理学部 准教授 小島 健介 Kojima Kensuke 江口 直日 Naohi Eguchi 千葉大学 理学部 数学・情報数理学科 日本学術振興会特別研究員