小林 直樹 | 東京大学大学院理学系研究科

スポンサーリンク

概要

• 同名の論文著者
• 東京大学大学院理学系研究科の論文著者

関連著者

• 小林 直樹

  東京大学大学院理学系研究科

• 小林 直樹

  東北大学大学院情報科学研究科

• 小林 直樹

  北海道日建設計

• 小林 直樹

  宇宙航空研究開発機構

• 小林 直樹

  宇宙科学研究所/宇宙航空研究開発機構

• 小林 直樹

  東京大学大学院新領域創成科学研究科

• 田中 潔

  北里大学外科

• 小林 直樹

  東京工業大学地球惑星科学科

• 羽山 広文

  北海道大学大学院工学研究科

• 羽山 広文

  北海道大学

• 田中 智

  ISAS/JAXA

• 絵内 正道

  北海道大学工学研究科

• 小林 直樹

  東京工業大学情報理工学研究科

• 菊田 弘輝

  北海道大学大学院工学研究科

• 絵内 正道

  北海道大学

• 小林 直樹

  北海道大学大学院工学研究科

• 菊田 弘輝

  北海道大学大学院

• 西田 究

  東京大学地震研究所

• 深尾 良夫

  東大・地震研

• 深尾 良夫

  東大 地震研

• 川村 太一

  東京大学

• 小林 直樹

  北海道大学脳神経外科

• 名和 一成

  産総研

• 須田 直樹

  広島大

• 渡邉 均

  東京理科大学工学部

• 渡邉 均

  東京理科大学

• 小林 直樹

  北海道大学大学院

• 小林 直樹

  ISAS/JAXA

• 渡邊 均

  東京理科大学工学部経営工学科

• 住井 英二郎

  東京大学大学院情報理工学系研究科

• 住井 英二郎

  東北大学大学院情報科学研究科

• 田中 潔

  富山県大

• 山本 さき

  安城市明和小

• 綿田 辰吾

  東大・地震研

• 深尾 良夫

  東京大学地震研究所

• 綿田 辰吾

  Earthquake Research Institute University Of Tokyo

• 田中 智

  宇宙科学研究所

• 白石 浩章

  宇宙科学研究所

• 村上 英記

  高知大学

• 白石 浩章

  宇宙科学研究所 宇宙航空研究開発機構

• 竹内 希

  地震研

• 山田 竜平

  ISAS

• 石原 靖

  JAMSTEC

• 早川 雅彦

  ISAS

• 絵内 正道

  北海道大学大学院工学研究院

• 白石 浩章

  ISAS/JAXA

• 岡元 太郎

  東工大

• 川村 太一

  東京大学大学院

• 村上 英記

  高知大

• 白石 浩章

  宇宙航空研究開発機構・宇宙科学研究所

• 佐々木 晶

  東京大学大学院理学系研究科

• 岩間 太

  東北大学大学院情報科学研究科

• 伊藤 精彦

  苫小牧工業高等専門学校

• 山本 学

  北海道大学大学院情報科学研究科

• 田平 誠

  愛知教育大学

• 藤島 実

  東京大学大学院新額域創成科学研究科

• 名和 一成

  産業技術総合研究所

• 名和 一成

  産業技術総合研究所地質情報研究部門

• 岡元 太郎

  東京工業大学 理学部

• 藤村 彰夫

  宇宙航空研究開発機構宇宙科学研究所

• 田中 智

  宇宙航空研究開発機構

• 藤村 彰夫

  宇宙科学研究所

• 須田 直樹

  広島大学

• 綿田 辰吾

  東京大学地震研究所

• 名和 一成

  地質調査所

• 山本 さき

  愛知教育大学

• 水谷 仁

  宇宙科研

• 内田 真生

  北海道大学大学院工学研究科修士課程

• 内田 真生

  北海道大学大学院工学研究科

• 藤村 彰夫

  JAXA

• 渡邊 均

  Nttサービスインテグレーション基盤研究所

• 渡邉 均

  NTTサービスインテグレーション基盤研究所

• 水谷 仁

  名古屋大学理学部地球科学教室

• 藤島 実

  東京大学大学院工学系研究科

• 藤島 実

  東京大学大学院工学系研究科:東京大学大学院新領域創成科学研究科

• 藤島 実

  東京大学工学部

• 佐々木 晶

  東京大・理・地球物理

• Fujishima M

  Vlsi Design And Education Center The University Of Tokyo

• Fujishima Minoru

  School Of Frontier Sciences The University Of Tokyo

• 藤村 彰夫

  宇宙航空研究開発機構

• 早川 基

  JAXA, 宇宙研

• Fujishima Minoru

  Hiroshima University

• 山本 学

  北海道大学 大学院情報科学研究科

• 青木 尊之

  東京工業大学学術国際情報センター

• 野口 高明

  茨城大学理学部

• 中村 智樹

  九州大・院理

• 諸田 智克

  JAXA/ISAS

• 矢部 孝

  群馬大学

• 阿部 豊

  東京大学

• 寺沢 敏夫

  東京大学

• 小林 直樹

  東京大学理学系天文学教室

• 五十嵐 淳

  京都大学大学院情報学研究科

• 高橋 順一

  北海道大学大学院工学研究科物質工学専攻

• 嶋田 志郎

  北海道大学大学院工学研究科物質工学専攻

• 野島 俊雄

  北海道大学大学院情報科学研究科

• 安部 正真

  宇宙航空研究開発機構

• 阿部 豊

  東京大学大学院理学研究科

• 安部 正真

  東大理

• 安部 正真

  宇宙航空研究開発機構宇宙科学研究本部

• 清水 智弘

  マックスプランク微細構造物理研

• 矢部 孝

  東京工業大学大学院理工学研究科

• 岩間 太

  東京大学理学部

• 牧野 英司

  北海道大学工学部

• 須田 直樹

  広島大院理

• 飯島 祐一

  ISAS/JAXA

• 小川 和律

  ISAS/JAXA

• 野島 俊雄

  北海道大学

• 田平 誠

  愛教大

• 深尾 良夫

  東大地震研

• 小林 佑輔

  東京大学

• 飯島 祐一

  宇宙航空研究開発機構

• 竹内 希

  東大地震研

• 竹内 希

  東京大学地震研究所

• 清水 智弘

  東京大学大学院理学系研究科情報科学専攻

• 清水 智弘

  広島大学先端物質科学研究科

• 嶋田 志郎

  北海道大学

• 海野 和也

  北海道大学大学院工学研究科

• 柴田 隆行

  北海道大学大学院工学研究科

• 山本 さき

  愛教大

• 綿田 辰吾

  東大地震研

• 西田 究

  東大地震研

• 小林 直樹

  東工大

• 田中 誠

  愛知教育大学

• 高橋 順一

  北海道大学大学院 工学研究科

• 海野 和也

  日立ビアメカニクス(株)

• 牧野 英司

  弘前大

• 内山 雄司

  東京工業大学大学院情報理工学研究科数理・計算科学専攻

• 脇田 建

  東京工業大学大学院情報理工学研究科数理・計算科学専攻

• 海野 和也

  日立ビアメカニクス

• 野口 高明

  茨大・理

• 白井 慶

  JAXA

• 名和 一成

  産業技術総合研

• 青木 尊之

  東京工業大学

• 安部 正真

  Jaxa

• 佐々木 晶

  東京大学地質学教室

• 岡元 太郎

  東工大 理学部

• 村上 英記

  高知大 理

• 嶋田 志郎

  北海道大学大学院工学研究科物質化学専攻

• 立花 健

  東京工業大学大学院情報理工学研究科計算工学専攻

• 飯島 祐一

  宇宙科学研究所

• 加藤 學

  宇宙航空研究開発機構宇宙科学研究本部固体惑星科学研究系:宇宙航空研究開発機構月惑星探査推進グループ研究開発室

• 矢田 達

  宇宙航空研究開発機構宇宙科学研究本部技術開発部

• 岡崎 隆司

  九州大

• 白井 慶

  名大理学院

• 山田 功夫

  名古屋大学大学院環境学研究科

• 須藤 崇

  東北大学大学院情報科学研究科

• 白根 慶太

  東京工業大学情報理工学研究科

• 白根 慶太

  東京工業大学大学院情報理工学研究科

• 内山 雄司

  東京工業大学大学院情報理工学研究科

• 脇田 建

  東京工業大学

• Abe Yutaka

  Department Of Earth And Planetary Science The University Of Tokyo

• 趙 大鵬

  東北大・理

• 塚田 武志

  東北大学大学院情報科学研究科|日本学術振興会特別研究員DC

• 飯島 祐一

  宇宙科研

• 假家 英樹

  東京大学大学院理学系研究科情報科学専攻

• 久家 慶子

  京大理

• Abe Yutaka

  Univ. Tokyo Tokyo Jpn

• 加藤 學

  宇宙航空研究開発機構 宇宙科学研究本部

• 山田 功

  中部大

• 小林 直樹

  ISAS

• 白石 浩章

  ISAS

• 小川 和津

  ISAS

• 鹿熊 英昭

  ADEP

• 荒木 英一郎

  JAMSTEC

• 川村 太一

  ISAS

• 白井 慶

  ISAS

• 藤村 彰夫

  ISAS

• 諸田 智克

  国立天文台

• 飯島 祐一

  Isas

• 田中 智

  Isas

• 小林 直樹

  東京大学

• 趙 大鵬

  東北大

• 諸田 智克

  名古屋大学大学院環境学研究科

• 諸田 智克

  ISAS/JAXA

• 斎藤 靖之

  Isas/jaxa

• 田中 智

  JAXA宇宙科学研究所

• 小林 直樹

  JAXA宇宙科学研究所

• 白石 浩章

  JAXA宇宙科学研究所

• 早川 雅彦

  JAXA宇宙科学研究所

• 山田 竜平

  JAXA宇宙科学研究所

• 石原 靖

  海洋研究開発機構

• 早川 基

  JAXA宇宙科学研究所

• 山田 竜平

  ISAS/JAXA

• 早川 雅彦

  ISAS/JAXA

• 早川 基

  ISAS/JAXA

• Garcia Raphael

  トゥールーズ大学

• Lognonne Philippe

  IPGP

• 矢田 達

  JSPEC/ISAS/JAXA

• 中村 智樹

  九州大学、理学部

• 岡崎 隆司

  九州大学、理学部

• 野口 高明

  茨城大学、理学部

• Lognonne Phillipe

  Ipgp

• 小林 佑輔

  東京大学:jaxa

• アクセル ハーガマン

  Open Univ.

• アクセル ハーガマン

  オープン大

• 矢田 達

  宇宙航空研究開発機構宇宙科学研究所

• 久家 慶子

  京大

• Shirai Kei

  Department Of Solid Planetary Science Institute Of Space And Astronautical Science The Japan Aerospace Exploration Agency (isas/jaxa)

• 鹿熊 英昭

  中央大学

• 安部 正真

  宇宙航空研究開発機構月惑星探査プログラムグループ:宇宙航空研究開発機構宇宙科学研究所

もっと見る 閉じる

著作論文

• 木星型惑星の構造と形成
• シューメイカー・レビー彗星と木星との衝突シミュレーション(シューメーカー=レビー第9彗星の木星衝突)
• 計算資源使用法検証における計算資源の仕様と実際の使用法との間の適合性検証アルゴリズム
• JVMにおけるロックの整合性検証のための新しい型システム
• 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
• POPL/PEPM'99会議報告
• AFMセンサのための圧電薄膜の形成
• P228 T型ラインマイクロホンのノイズ減殺効果
• P369 T型ラインマイクロホンを用いた微気圧振動の観測
• T型ラインマイクロホンを用いた微気圧振動の観測(序報)
• 地球のささやきを聞く--常時地球自由振動の発見
• 41052 住宅内室温分布の要因分析とその評価方法に関する研究 : その1 暖房期における住宅内室温分布推定法の提案(住宅の暖房負荷,環境工学II)
• 41053 住宅内室温分布の要因分析とその評価方法に関する研究 : その2 累積確率を用いた暖房期の室温分布と暖房負荷の評価(住宅の暖房負荷,環境工学II)
• 41054 住宅内室温分布の要因分析とその評価方法に関する研究 : その3 標準住宅モデルを用いた室温分布と空調負荷のシミュレーション(住宅の暖房負荷,環境工学II)
• 常時自由震動:大気と固体地球のカップリングの重要性
• 並行プログラミング言語へのチャネル使用法宣言の導入
• 042 住宅の室温分布と熱負荷の評価方法に関する研究 : その2 室温分布と空調負荷のシミュレーション(熱・暖冷房,講演研究論文、計画・技術報告)
• 041 住宅の室温分布と熱負荷の評価方法に関する研究 : その1 累積確立を用いた室温分布と熱負荷の評価法(熱・暖冷房,講演研究論文、計画・技術報告)
• 051 住宅室内温度の標準偏差と暖房期・冷房期における空調用エネルギー消費量の関係(熱環境・エネルギー,講演研究論文・計画技術報告)
• 検証済み型推論器生成のためのCoqライブラリ
• 並列言語の高レベルなデータの通信における型を利用した最適化について
• 木星の内部構造と彗星の衝突
• An Empirical Analysis of the Information Content of the Announcements of Impaired Assets in Japan
• 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
• 低レベル言語のための情報流解析の型システム(プログラミングおよびプログラミング言語)
• ポスト壁キャビティ付きスロット八木・宇田アレーを用いた平面マルチセクタアンテナ
• POPL2002/PEPM2002/PADL2002報告(プログラミング及びプログラミング言語)
• インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
• インピーダンスマッチング機能付きCMOSオンチップラットレースバラン(無線/画像処理,システムオンシリコン設計技術並びにこれを活用したVLSI)
• B-1-159 キャビティ壁をスルーホールで構成したプリントスロット八木・宇田アレーアンテナ
• 大気海洋の窓としての固体地球--固体地球常時自由振動 (総特集 海半球観測研究の進展)
• 木星自由振動と木星内部構造
• 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
• リージョン推論に基づくメモリ管理の下でのガーベジコレクション
• 彗星衝突による木星振動の励起(「木星に衝突する彗星 : シューメイカー・レビー9」)
• Constraint Satisfaction in Logic Programming, Paseal Van Hentenryck, The MIT Press, 1989 (制約論理プログラミング)
• SELENE-2における月広帯域地震観測
• S22-08P ペネトレータを使った月内部構造探査(一般ポスターセッション2,ポスター発表)
• S22-09 ペネトレータ地震計ネットワークによる月震観測(口頭セッション22:惑星探査,口頭発表)
• S13-12 アポロ月震計データで見る月のクレーター生成率不均質(口頭セッション13:月科学,口頭発表)
• 306 惑星物質試料受け入れ設備(キュレーション設備)の状況 : はやぶさ試料受け入れ運用リハーサルへ向けての準備(オーラルセッション9 固体天体の科学・惑星探査I)
• P208 アポロ月震データの再解析 : バンドパスフィルタ処理によるイベント検出の試み(ポスターセッション2)
• P205 月面重力計を用いたUnlocated Deep Moonquakeの震源決定(ポスターセッション2)
• 116 月震計データから見た月面クレータ生成率不均質(オーラルセッション3 月I)

もっと見る 閉じる

スポンサーリンク