検索結果 46 件
デジタル文書・図像類
全国の図書館
- 件名構成的数学 逆数学 層モデル
- 一般注記...解決と新たな公理の発見、(2)層モデルを用いた公理や定理の体系的な分......した。拡張フレーム上のクリプキ層モデルを用いて、様々な公理を体系的に......を開発した。(3)上記クリプキ層モデルの構成が構成的集合論の枠組みで展開できることを示した。 研究...
紙図書
国立国会図書館
- 件名炭素循環 水循環 森林水文学 二酸化炭素フラツクス 溶存有機態炭素 多層モデル 遮断蒸発 岩盤地下水
紙図書
国立国会図書館
- 件名歩行動作可能 / 2層モデル発汗サーマルマネキン / コア・シェル2層独立温度制御機構 ...