Jump to main content

yr 〜
yr

Search results 82

依存型理論に基く証明支援システムにおける数学的構造の深化と発展

依存型理論に基く証明支援システムにおける数学的構造の深化と発展
Digital博士論文障害者向け資料あり
坂口, 和彦2023
Available onlineNational Diet LibraryOther Libraries in Japan

Lifshitz型理論における量子論的側面の探求

Lifshitz型理論における量子論的側面の探求
Digital博士論文障害者向け資料あり
Kitamura, Tomotaka, 北村, 比孝2015
National Diet Library

中国侦探小说类型论 (小说类型理论与批评丛书)

中国侦探小说类型论 (小说类型理论与批评丛书)
Paper図書
谢彩 著上海大学出版社2012.8<KK327-C43>
National Diet LibraryOther Libraries in Japan
  • Related Material小说类型理论与批评丛书
  • Periodical Title小说类型理论与批评丛书

猫-nyan-的愛哭AB型理論

猫-nyan-的愛哭AB型理論
Recording Media録音資料
yuinaLife Style Music2013.4<YMC11-L3911>
National Diet Library

型理論 (レクチャーノート/ソフトウェア学 ; 1)

型理論 (レクチャーノート/ソフトウェア学 ; 1)
PaperDigital図書
竜田真 著近代科学社1992.11<M159-E2447>
National Diet LibraryOther Libraries in Japan

厳密繰り込み群の新しい方向性 : リフシッツ型理論、グラディエントフロー方程式とその超対称性的拡張

厳密繰り込み群の新しい方向性 : リフシッツ型理論、グラディエントフロー方程式とその超対称性的拡張
Digital博士論文障害者向け資料あり
菊地, 健吾2014-06-16
Available onlineNational Diet LibraryOther Libraries in Japan

生の現場の「語り」と動機の詩学 : 観測志向型理論に定位した現場研究=動機づけマネジメントの方法論

生の現場の「語り」と動機の詩学 : 観測志向型理論に定位した現場研究=動機づけマネジメントの方法論
Paper図書
増田靖 著ひつじ書房2013.3<DH226-L26>
National Diet LibraryOther Libraries in Japan

ソフトウェアの安全性向上のための型理論

ソフトウェアの安全性向上のための型理論
Paper図書
小林直樹, 東北大学 [著][小林直樹]2005-2007<Y151-H17300003>
National Diet Library

未来への動機、あるいは生の現場の「語り」 : 観測志向型理論に定位した現場研究=動機づけマネジメントの方法論

未来への動機、あるいは生の現場の「語り」 : 観測志向型理論に定位した現場研究=動機づけマネジメントの方法論
Paper博士論文
増田靖 [著][増田靖][2008]<UT51-2009-B934>
National Diet LibraryOther Libraries in Japan

多次元高階重力理論とその応用 : f(R)型理論の場合

多次元高階重力理論とその応用 : f(R)型理論の場合
Paper博士論文
山田直人 [著][山田直人]2003<UT51-2004-T28>
National Diet Library

型理論的アプローチによる証明論および計算論の研究

型理論的アプローチによる証明論および計算論の研究
Paper図書
高橋正子, 国際基督教大学 [著][高橋正子]2000-2003<Y151-H12640107>
National Diet Library

型理論に基づく高次推論処理に関する研究

型理論に基づく高次推論処理に関する研究
PaperDigital博士論文障害者向け資料あり
山田敬三 [著][山田敬三][2000]<UT51-2000-S95>
Available onlineNational Diet Library

型理論の意味論と文法的性質の関係

型理論の意味論と文法的性質の関係
Paper図書
桜井, 貴文, 千葉大学1998-1999<Y151-H10680334>
National Diet Library
  • Subject Heading型理論 意味論 モデル カテゴリ理論 文法的性質 強正規化

ラムゼイ型理論の応用

ラムゼイ型理論の応用
Paper図書
玉野, 研一, 横浜国立大学1997-1998<Y151-H09640249>
National Diet Library

型理論の証明論ならびに計算論的研究

型理論の証明論ならびに計算論的研究
Paper図書
寳来, 正子, 東京工業大学1997-1999<Y151-H09640248>
National Diet Library
  • Subject Heading型理論 証明論 高階理論 ラムダ計算 原始帰納法 自由代数

自動定理証明と論理プログラミングへの線型理論のいくつかの応用

自動定理証明と論理プログラミングへの線型理論のいくつかの応用
PaperDigital博士論文障害者向け資料あり
松岡聡 [著]<UT51-2000-E906>
Available onlineNational Diet Library

型理論とその機械学習への応用

型理論とその機械学習への応用
Paper図書
萩谷, 昌己, 東京大学1994-1995<Y151-H06680342>
National Diet Library
  • Subject Heading型理論 型付き入計算 機械学習 帰納法 関数プログラミング 自動演...

データ対話型理論の発見 : 調査からいかに理論をうみだすか

データ対話型理論の発見 : 調査からいかに理論をうみだすか
Paper図書
B.G.グレイザー, A.L.ストラウス 著, 後藤隆 [ほか]訳新曜社1996.3<EC37-G1>
National Diet LibraryOther Libraries in Japan

型理論に基づくプログラミング言語設計理論の研究

型理論に基づくプログラミング言語設計理論の研究
Paper図書
大堀, 淳, 京都大学1994-1995<Y151-H06680319>
National Diet Library
  • Subject Heading型理論 プログラミング言語 コンパイラー データモデル ポリモルフ...

型理論に基づく高階推論機構の形式化とその類推処理への応用

型理論に基づく高階推論機構の形式化とその類推処理への応用
Paper図書
原尾, 政輝, 九州工業大学1992-1993<Y151-H04650320>
National Diet Library
  • Subject Heading型理論 知識表現 推論機構 知能ソフトウエア 類推システム 高階プ...
RSS