研究者
J-GLOBAL ID：200901010939516542   更新日: 2020年05月15日

長岡 一昭

ナガオカ カズアキ | Nagaoka Kazuaki
所属機関・部署：
津田塾大学 学芸学部 数学科 数学科

津田塾大学 学芸学部 数学科 数学科 について


職名： 教授
研究分野 (2件)： 応用数学、統計数学 ,  数学基礎
研究キーワード (2件)： 数学基礎論 ,  foundations of mathematics
競争的資金等の研究課題 (2件)：
  • 決定問題
  • Decision Problem
MISC (7件)：
  • 様相述語論理B, S5, S4, Tにおけるprefixed tableau proofからsequent calculus proofへの変換. 津田塾大学 数学・計算機科学研究所研究報告集. 2002. 19-41
  • クリプキバンドル意味論に関して不完全な論理. 数理論理学季刊誌. 1997. 43. 485-498
  • K Nagaoka, E Isoda. Incompleteness results in Kripke bundle semantics. MATHEMATICAL LOGIC QUARTERLY. 1997. 43. 4. 485-498
  • 有限束に真理値をもつ多値論理. 早稲田大学紀要. 1979. 43. 147-162
  • Many-valued Logic with Truth Values from Finite Lattices. MEMOIRS OF SCHOOL OF SCIENCE & ENGINEERING WASEDA UNIV. 1979. 43. 147-162
もっと見る
学歴 (4件)：
  • - 1975 早稲田大学 理学系研究科 数学
  • - 1975 早稲田大学
  • - 1973 京都大学 理学部 数学科
  • - 1973 京都大学
学位 (1件)：
  • 理学修士 (早稲田大学)
所属学会 (1件)：
日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM