本文に飛ぶ

年 〜
年

検索結果 8 件

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

構成的算術体系に対する部分帰納的実現可能性解釈の研究
紙図書
石原, 哉, 北陸先端科学技術大学院大学1997-2000<Y151-H09640253>
国立国会図書館
  • 件名構成的数学 実現可能性解釈 部分帰納的関数

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

構成的集合と余帰納的定義を用いたプログラム合成
紙図書
龍田真, 国立情報学研究所 [著][龍田真]2000-2003<Y151-H12680346>
国立国会図書館
  • 件名構成的集合 / 余帰納的定義 / 構成的論理 / 実現可能性解釈 / プログラム合成 / 型理論

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

新形式物流システムの実現可能性とその社会的効果に関する研究
紙図書
越, 正毅, 東京大学1992-1993<Y151-H04451115>
国立国会図書館
  • 件名物流 都市内物流 地下物流システム 実現可能性検討

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

秘密分散法における不正防止技術に関する研究
デジタル文書・図像類
尾花, 賢, OBANA, Satoshi2014-06科学研究費助成事業 研究成果報告書p.1-5
全国の図書館
  • 件名効率の良い方式提案 理論的実現可能性の証明

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

様相構造記述言語を用いるリアクテイブシステム構成法の研究
紙図書
米崎, 直樹, 北陸先端科学技術大学院大学1990-1992<Y151-H03680027>
国立国会図書館
  • 件名時相論理 仕様記述 リアクテイブシステム 実現可能性 プロセスモデル 非標準論理 様相論理 定理自動証明

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

球状トカマクをベースとする核融合発電炉 : 2. 炉心プラズマの物理 : 2.7 制御
デジタル文書・図像類
御手洗, 修The Institute of Electrical Engineers of Japan2013-12-25Technical Report1298p.53-61
インターネットで読める全国の図書館
  • 件名球状トカマク spherical tokamak 核融合 nuclear fusion 発電炉 power reactor 実現可能性 feasibility 高ベータ high beta

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

交通計画策定法の信頼性に関する総合的研究
紙図書
河上, 省吾, 名古屋大学1988-1989<Y151-S63302049>
国立国会図書館
  • 件名交通計画 信頼性 地域と交通との関連分析 交通需要予測 交通システム 交通現象調査分析 交通計画の評価 交通計画の実現可能性

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

ヘリコプタによるビル火災消火の模擬実験
デジタル文書・図像類
奥野, 善則, 舩引, 浩平, 齊籐, 茂, 原田, 正志, Saito, Shigeru, Harada, Masashi航空宇宙技術研究所1995-05航空宇宙技術研究所報告 = Technical Report of National Aerospace Laboratory1269p.1-23
全国の図書館
  • 件名...リング データ解析 風洞試験 実現可能性研究 helicopter multistory build...

検索結果は以上です。

RSS