研究者
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