「"石原, 哉"」の検索結果 | NDLサーチ

検索結果 20 件

タイトルでまとめる

証明作法 : 論理の初歩から証明の実践へ

紙図書

石原哉著共立出版2023.3<MA21-M322>

国立国会図書館全国の図書館

著者標目石原, 哉

Handbook of constructive mathematics : hardback

紙図書

edited by Douglas Bridges ... [et al.]Cambridge University Press2023

全国の図書館

著者標目Bridges, D. S. (Douglas S.) 石原, 哉 Rathjen, Michael Schwichtenbe...

層モデルを用いた構成的逆数学の研究

デジタル文書・図像類

石原, 哉2019-05-31科学研究費助成事業研究成果報告書p.1-4

全国の図書館

著者標目石原, 哉

構成的数学における計算可能性と計算の複雑さに関する研究

紙図書

石原哉, 北陸先端科学技術大学院大学 [著][石原哉]2003-2006<Y151-H15500005>

国立国会図書館

著者標目石原, 哉北陸先端科学技術大学院大学

構成的集合論における逆数学の研究

デジタル文書・図像類

石原, 哉2014-06-02科学研究費助成事業研究成果報告書p.1-4

全国の図書館

著者標目石原, 哉

構成的算術体系に対する部分帰納的実現可能性解釈の研究

紙図書

石原, 哉, 北陸先端科学技術大学院大学1997-2000<Y151-H09640253>

国立国会図書館

著者標目石原, 哉

構成的数学における逆数学の研究

デジタル文書・図像類

石原, 哉2010-05-29科学研究費補助金研究成果報告書p.1-5

全国の図書館

著者標目石原, 哉

構成的数学における計算可能性と計算の複雑さに関する研究

紙図書

研究代表者石原哉[石原哉]2007.3

全国の図書館

著者標目石原, 哉

Boundedness, normability and compactness of constructive linear mappings

紙デジタル博士論文障害者向け資料あり

石原哉 [著]<UT51-90-R261>

インターネットで読める国立国会図書館

著者標目石原, 哉

構成的算術体系に対する部分帰納的実現可能性解釈の研究

紙図書

研究代表者石原哉[石原哉]2001.3

全国の図書館

著者標目石原, 哉

科学哲学 : journal of the Philosophy of Science Society, Japan

紙雑誌

日本科学哲学会編日本科学哲学会1968-<Z14-479>

国立国会図書館全国の図書館

数学解析の望ましい姿を探って : 研究集会報告集

紙図書

伊藤一男, 後藤俊一, 宮川鉄朗編九州大学出版会2004.3<MA111-H7>

国立国会図書館全国の図書館

内容細目...　金久構成的数学とその展望　石原　哉非負作用素の超幾何関数　岡沢　登Ｄｉｆｆｕｓｉｖｅ　ｌｏ...

数理解析研究所講究録

紙雑誌

京都大学数理解析研究所1964-<Z43-1336>

国立国会図書館全国の図書館

電子情報通信学会技術研究報告 : 信学技報

紙雑誌

電子情報通信学会1987-2020<Z16-940>

国立国会図書館全国の図書館

検索結果は以上です。