国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1990年代
(4)
2000年代
(31)
2010年代
(34)
2020年代
(4)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(9)
雑誌
(58)
新聞
和古書・漢籍
博士論文
(2)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
(1)
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(4)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(7)
紙
(65)
マイクロ
記録メディア
(1)
すべて解除
絞り込み条件
絞り込み条件
検索結果 73 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Study on nonlinear phenomena in piezoelectric ceramics
Study on nonlinear phenomena in piezoelectric ceramics
紙
博士論文
Manabu Hagiwara [著]
[Manabu Hagiwara]
[2013]
<UT51-2013-K410>
国立国会図書館
複合カチオンエンジニアリングによる超低熱伝導性酸化物の設計・合成と熱電特性の向上
複合カチオンエンジニアリングによる超低熱伝導性酸化物の設計・合成と熱電特性の向上
デジタル
文書・図像類
萩原, 学
2020
科学研究費補助金研究成果報告書
全国の図書館
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
紙
図書
萩原学, アフェルト・レナルド 共著
森北出版
2018.4
<MA41-L81>
国立国会図書館
全国の図書館
進化する符号理論
進化する符号理論
紙
図書
萩原学 編著
日本評論社
2016.9
<M121-L265>
国立国会図書館
全国の図書館
目次・記事
...1章 音楽,文字や動画も数学◎
萩原 学
第2章 巡回符号からBCH符...
... 第4章 ユークリッド復号法◎
萩原 学
第5章 通信路容量と通信路符...
... 第7章 CD-ROMの符号◎
萩原 学
第8章 特許登録された符号:...
... 第14章 量子誤り訂正符号◎
萩原 学
<コラム> Developm...
...ェルト) 第16章 置換符号◎
萩原 学
星型Dynkin図形上及びA型Dynkin図形上のminuscule heap
星型Dynkin図形上及びA型Dynkin図形上のminuscule heap
紙
博士論文
萩原学 [著]
[萩原学]
[2002]
<UT51-2004-A949>
国立国会図書館
ナノコンポジット化を利用した応力エンジニアリングによる高温用誘電体の開発
ナノコンポジット化を利用した応力エンジニアリングによる高温用誘電体の開発
デジタル
文書・図像類
萩原, 学
慶應義塾大学
2017
学事振興資金研究成果実績報告書
全国の図書館
Aサイト複合ペロブスカイトのリラクサー相を利用した高温キャパシタ用誘電体の創製
Aサイト複合ペロブスカイトのリラクサー相を利用した高温キャパシタ用誘電体の創製
デジタル
文書・図像類
萩原, 学
2017
科学研究費補助金研究成果報告書
全国の図書館
モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)
モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)
紙
図書
萩原学 編
九州大学マス・フォア・インダストリ研究所
2013.1
<M121-L12>
国立国会図書館
符号理論 : デジタルコミュニケーションにおける数学
符号理論 : デジタルコミュニケーションにおける数学
紙
図書
萩原学 著
日本評論社
2012.8
<M121-J243>
国立国会図書館
全国の図書館
高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
紙
図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編
九州大学マス・フォア・インダストリ研究所
2015.3
<M159-L655>
国立国会図書館
強誘電ドメインの運動性を制御した高温用非鉛圧電セラミックスの開発
強誘電ドメインの運動性を制御した高温用非鉛圧電セラミックスの開発
デジタル
文書・図像類
萩原, 学
2014
科学研究費補助金研究成果報告書
全国の図書館
研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
研究集会 : 高信頼な理論と実装のための定理証明および定理証明器 = Theorem proving and provers for reliable theory and implementations (TPP2014)
紙
図書
溝口佳寛 [ほか] 編集
九州大学マス・フォア・インダストリ研究所, 九州大学大学院数理学府
2015.3
全国の図書館
カステラ (Poetic magazine GAGA : No.42)
カステラ (Poetic magazine GAGA : No.42)
紙
図書
萩原 学
/〔詩〕, GAGA/編
GAGA
2008.8
全国の図書館
著者標目
萩原 学
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
紙
図書
萩原学 = Hagiwara Manabu
東京大学数理科学研究科
2002
全国の図書館
数学セミナー
数学セミナー
紙
デジタル
雑誌
日本評論社
1991-
<Z15-27>
国立国会図書館
応用数理
応用数理
紙
雑誌
日本応用数理学会 編
日本応用数理学会
1991-
<Z15-726>
国立国会図書館
全国の図書館
数理解析研究所講究録
数理解析研究所講究録
紙
雑誌
京都大学数理解析研究所
1964-
<Z43-1336>
国立国会図書館
全国の図書館
実践成年後見
実践成年後見
紙
雑誌
成年後見センターリーガルサポート 編
民事法研究会
2000-
<Z71-F701>
国立国会図書館
全国の図書館
映像情報メディア学会誌
映像情報メディア学会誌
紙
雑誌
映像情報メディア学会
1997-
<Z16-307>
国立国会図書館
全国の図書館
数理科学
数理科学
紙
デジタル
雑誌
サイエンス社
<Z15-30>
国立国会図書館
全国の図書館
もっと見る(21件目~)
書誌情報を一括出力