Search results for "構成的数学" | NDL Search

Search results 9

Group by title

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

Paper図書

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

National Diet Library

Subject Heading構成的数学実現可能性解釈部分帰納的関数

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

Paper図書

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

National Diet Library

Subject Heading構成的数学 / 計算可能性 / 計算の複雑さ / 国際研究者交流 / ...

理論計算機科学における数理論理学の応用

Paper図書

小野, 寛晰, 北陸先端科学技術大学院大学1996-1997<Y151-H08680356>

National Diet Library

Subject Heading部分構造論理様相論理項書換え系構成的数学

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

Digitalその他

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

Other Libraries in Japan

Subject Heading構成的数学逆数学層モデル
Note (General)...、（３）分離手法などメタ理論の構成的数学の枠組みでの展開を目的とする。......46 研究分野：数理論理学・構成的数学 identifier:https://dspace.jai...

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

Digitalその他

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

Other Libraries in Japan

Subject Heading数理論理学構成的数学逆数学集合論
Note (General)...046 研究分野：数理論理学・構成的数学科研費の分科・細目：数学・数学一般 identifier:...

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

Digitalその他

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

Other Libraries in Japan

Subject Heading数理論理学数学基礎論構成的数学逆数学
Note (General)...：10211046 研究分野：構成的数学科研費の分科・細目：情報学・情報学基礎 identifie...

数理論理学の総合的研究

Paper図書

上江洲, 忠弘, 東京理科大学1986-1988<Y151-S61302010>

National Diet Library

Subject Heading数理論理学数学基礎論証明論集合論模型論構成的数学帰納論超準解析

構成的数学基づく証明検証合成システムの作成

Paper図書

佐藤, 雅彦, 東北大学1987-1989<Y151-S62460220>

National Diet Library

Subject Heading構成的数学関数型プログラム言語直観主義論理証明プログラムの検証...

関数的論理型プログラム言語の設計と,それに基づく証明・検証・合成システムの作成

Paper図書

佐藤, 雅彦, 東北大学1985-1986<Y151-S60580018>

National Diet Library

Subject Heading構成的数学プログラムの形式的意味データ型プログラムの検証関数型...

Reached to the end of result.

RSS