徳島大学 教育・研究者情報データベース(EDB)

Education and Research Database (EDB), Tokushima University

徳島大学ウェブサイトへのリンク

著作: [北 研二]/直観主義的解析学の諸原理/科学基礎論研究

ヘルプを読む

「著作」(著作(著書,論文,レター,国際会議など))は,研究業績にかかる著作(著書,論文,レター,国際会議など)を登録するテーブルです. (この情報が属するテーブルの詳細な定義を見る)

  • 項目名の部分にマウスカーソルを置いて少し待つと,項目の簡単な説明がツールチップ表示されます.

この情報をEDB閲覧画面で開く

EID
84704
EOID
753718
Map
0
LastModified
2014年11月4日(火) 13:22:06
Operator
北 研二
Avail
TRUE
Censor
0
Owner
北 研二
Read
継承
Write
継承
Delete
継承
種別 必須 学術論文(審査論文)
言語 必須 日本語
招待 推奨
審査 推奨
カテゴリ 推奨
共著種別 推奨
学究種別 推奨
組織 推奨
著者 必須
  1. 北 研二([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
    役割 任意

    (日) 研究全般

    貢献度 任意
    学籍番号 推奨
題名 必須

(日) 直観主義的解析学の諸原理

副題 任意
要約 任意

(日) 本論文は,直観主義論理的論理に基づく解析学である直観主義的解析学での公理の意味を明らかかにすると共に,直観主義的解析学の公理系から,古典的解析学では成立しえない 定理をいくつか導き,これらの定理の意味論的立場での解釈について論じた.

キーワード 推奨
発行所 推奨
誌名 必須 (日) 科学基礎論研究
ISSN 任意
必須 16
必須 1,2
必須 69 75
都市 任意
年月日 必須 1983年 1月 初日
URL 任意
DOI 任意
PMID 任意
NAID 任意
WOS 任意
Scopus 任意
評価値 任意
被引用数 任意
指導教員 推奨
備考 任意