Jump to main content

yr 〜
yr

Search results 76

Study on nonlinear phenomena in piezoelectric ceramics

Study on nonlinear phenomena in piezoelectric ceramics
Paper博士論文
Manabu Hagiwara [著][Manabu Hagiwara][2013]<UT51-2013-K410>
National Diet Library
  • Author Heading萩原, 学

複合カチオンエンジニアリングによる超低熱伝導性酸化物の設計・合成と熱電特性の向上

複合カチオンエンジニアリングによる超低熱伝導性酸化物の設計・合成と熱電特性の向上
Digital文書・図像類
萩原, 学2020科学研究費補助金研究成果報告書
Other Libraries in Japan
  • Author Heading萩原, 学

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
Paper図書
萩原学, アフェルト・レナルド 共著森北出版2018.4<MA41-L81>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩原, 学, 1974- Affeldt, Reynald, 1976...

進化する符号理論

進化する符号理論
Paper図書
萩原学 編著日本評論社2016.9<M121-L265>
National Diet LibraryOther Libraries in Japan
  • Toc / Article...1章　音楽，文字や動画も数学◎萩原 学 第2章　巡回符号からBCH符...... 第4章　ユークリッド復号法◎萩原 学 第5章　通信路容量と通信路符...... 第7章　CD-ROMの符号◎萩原 学 第8章　特許登録された符号：...... 第14章　量子誤り訂正符号◎萩原 学 <コラム>　Developm......ェルト） 第16章　置換符号◎萩原 学
  • Author Heading萩原, 学, 1974-

星型Dynkin図形上及びA型Dynkin図形上のminuscule heap

星型Dynkin図形上及びA型Dynkin図形上のminuscule heap
Paper博士論文
萩原学 [著][萩原学][2002]<UT51-2004-A949>
National Diet Library
  • Author Heading萩原, 学

Aサイト複合ペロブスカイトのリラクサー相を利用した高温キャパシタ用誘電体の創製

Aサイト複合ペロブスカイトのリラクサー相を利用した高温キャパシタ用誘電体の創製
Digital文書・図像類
萩原, 学2017科学研究費補助金研究成果報告書
Other Libraries in Japan
  • Author Heading萩原, 学

ナノコンポジット化を利用した応力エンジニアリングによる高温用誘電体の開発

ナノコンポジット化を利用した応力エンジニアリングによる高温用誘電体の開発
Digital文書・図像類
萩原, 学慶應義塾大学2017学事振興資金研究成果実績報告書
Other Libraries in Japan
  • Author Heading萩原, 学

モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)

モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)
Paper図書
萩原学 編九州大学マス・フォア・インダストリ研究所2013.1<M121-L12>
National Diet Library
  • Author Heading萩原, 学, 1974-

符号理論 : デジタルコミュニケーションにおける数学

符号理論 : デジタルコミュニケーションにおける数学
Paper図書
萩原学 著日本評論社2012.8<M121-J243>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩原, 学, 1974-

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
Paper図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
National Diet Library
  • Author Heading溝口, 佳寛 Garrigue, Jacques, 1971- 萩原, 学, 1974-

強誘電ドメインの運動性を制御した高温用非鉛圧電セラミックスの開発

強誘電ドメインの運動性を制御した高温用非鉛圧電セラミックスの開発
Digital文書・図像類
萩原, 学2014科学研究費補助金研究成果報告書
Other Libraries in Japan
  • Author Heading萩原, 学

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)

研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
Paper図書
溝口佳寛 [ほか] 編集九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府2015.3
Other Libraries in Japan
  • Author Heading溝口, 佳寛 Garrigue, Jacques 萩原, 学 Affeldt, Reynald

カステラ (Poetic magazine GAGA　：　No.42)

カステラ (Poetic magazine GAGA　：　No.42)
Paper図書
萩原 学／〔詩〕, GAGA／編GAGA2008.8
Other Libraries in Japan
  • Author Heading萩原 学 GAGA

星型Dynkin図形上及びA型Dynkin図形上の minuscule heap = Minuscule heaps over simply-laced, star-shaped dynkin diagrams

星型Dynkin図形上及びA型Dynkin図形上の minuscule heap = Minuscule heaps over simply-laced, star-shaped dynkin diagrams
Paper図書
萩原学 = Hagiwara Manabu東京大学数理科学研究科2002
Other Libraries in Japan
  • Author Heading萩原, 学

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

応用数理

応用数理
Paper雑誌雑誌タイトル
日本応用数理学会 編日本応用数理学会1991-<Z15-726>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

量子情報技術研究会資料

量子情報技術研究会資料
Paper雑誌雑誌タイトル
電子情報通信学会量子情報技術時限研究専門委員会[1999]-<Z74-H60>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

実践成年後見

実践成年後見
Paper雑誌雑誌タイトル
成年後見センターリーガルサポート 編民事法研究会2000-<Z71-F701>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

映像情報メディア学会誌

映像情報メディア学会誌
Paper雑誌雑誌タイトル
映像情報メディア学会1997-<Z16-307>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  
RSS