Jump to main content

yr 〜
yr

Search results 20

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

証明作法 : 論理の初歩から証明の実践へ
Paper図書
石原哉 著共立出版2023.3<MA21-M322>
National Diet LibraryOther Libraries in Japan
  • Author Heading石原, 哉

Handbook of constructive mathematics : hardback

Handbook of constructive mathematics : hardback
Paper図書
edited by Douglas Bridges ... [et al.]Cambridge University Press2023
Other Libraries in Japan
  • Author HeadingBridges, D. S. (Douglas S.) 石原, 哉 Rathjen, Michael Schwichtenbe...

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

層モデルを用いた構成的逆数学の研究
Digital文書・図像類
石原, 哉2019-05-31科学研究費助成事業研究成果報告書p.1-4
Other Libraries in Japan
  • Author Heading石原, 哉

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

構成的数学における計算可能性と計算の複雑さに関する研究
Paper図書
石原哉, 北陸先端科学技術大学院大学 [著][石原哉]2003-2006<Y151-H15500005>
National Diet Library
  • Author Heading石原, 哉 北陸先端科学技術大学院大学

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

構成的算術体系に対する部分帰納的実現可能性解釈の研究
Paper図書
石原, 哉, 北陸先端科学技術大学院大学1997-2000<Y151-H09640253>
National Diet Library
  • Author Heading石原, 哉

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

構成的集合論における逆数学の研究
Digital文書・図像類
石原, 哉2014-06-02科学研究費助成事業研究成果報告書p.1-4
Other Libraries in Japan
  • Author Heading石原, 哉

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

構成的数学における逆数学の研究
Digital文書・図像類
石原, 哉2010-05-29科学研究費補助金研究成果報告書p.1-5
Other Libraries in Japan
  • Author Heading石原, 哉

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

構成的数学における計算可能性と計算の複雑さに関する研究
Paper図書
研究代表者 石原哉[石原哉]2007.3
Other Libraries in Japan
  • Author Heading石原, 哉

Boundedness, normability and compactness of constructive linear mappings

Boundedness, normability and compactness of constructive linear mappings
PaperDigital博士論文障害者向け資料あり
石原哉 [著]<UT51-90-R261>
Available onlineNational Diet Library
  • Author Heading石原, 哉

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

構成的算術体系に対する部分帰納的実現可能性解釈の研究
Paper図書
研究代表者 石原哉[石原哉]2001.3
Other Libraries in Japan
  • Author Heading石原, 哉

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

科学哲学 : journal of the Philosophy of Science Society, Japan
Paper雑誌雑誌タイトル
日本科学哲学会 編日本科学哲学会1968-<Z14-479>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

数学解析の望ましい姿を探って : 研究集会報告集
Paper図書
伊藤一男, 後藤俊一, 宮川鉄朗 編九州大学出版会2004.3<MA111-H7>
National Diet LibraryOther Libraries in Japan
  • Contents...　金久 構成的数学とその展望　石原　哉 非負作用素の超幾何関数　岡沢　登 Ｄｉｆｆｕｓｉｖｅ　ｌｏ...

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

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

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS