Search results for "実現可能性" | NDL Search

Search results 8

Group by title

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

Paper図書

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

National Diet Library

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

構成的集合と余帰納的定義を用いたプログラム合成

Paper図書

龍田真, 国立情報学研究所 [著][龍田真]2000-2003<Y151-H12680346>

National Diet Library

Subject Heading構成的集合 / 余帰納的定義 / 構成的論理 / 実現可能性解釈 / プログラム合成 / 型理論

新形式物流システムの実現可能性とその社会的効果に関する研究

Paper図書

越, 正毅, 東京大学1992-1993<Y151-H04451115>

National Diet Library

Subject Heading物流都市内物流地下物流システム実現可能性検討

秘密分散法における不正防止技術に関する研究

Digitalその他

尾花, 賢, OBANA, Satoshi2014-06科学研究費助成事業研究成果報告書p.1-5

Other Libraries in Japan

Subject Heading効率の良い方式提案理論的実現可能性の証明

様相構造記述言語を用いるリアクテイブシステム構成法の研究

Paper図書

米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>

National Diet Library

Subject Heading時相論理仕様記述リアクテイブシステム実現可能性プロセスモデル非標準論理様相論理定理自動証明

球状トカマクをベースとする核融合発電炉 : 2. 炉心プラズマの物理 : 2.7 制御

Digital規格・テクニカルリポート類

御手洗, 修一般社団法人電気学会2013-12-25Technical Report1298p.53-61

Available onlineOther Libraries in Japan

Subject Heading球状トカマク spherical tokamak 核融合 nuclear fusion 発電炉 power reactor 実現可能性 feasibility 高ベータ high beta

交通計画策定法の信頼性に関する総合的研究

Paper図書

河上, 省吾, 名古屋大学1988-1989<Y151-S63302049>

National Diet Library

Subject Heading交通計画信頼性地域と交通との関連分析交通需要予測交通システム交通現象調査分析交通計画の評価交通計画の実現可能性

ヘリコプタによるビル火災消火の模擬実験

Digital規格・テクニカルリポート類

奥野, 善則, 舩引, 浩平, 齊籐, 茂, 原田, 正志, Saito, Shigeru, Harada, Masashi航空宇宙技術研究所1995-05航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1269p.1-23

Other Libraries in Japan

Subject Heading...リングデータ解析風洞試験実現可能性研究 helicopter multistory build...

Reached to the end of result.

RSS