佐藤 雅彦 | 京都大学大学院エネルギー科学研究科

スポンサーリンク

概要

• 佐藤 雅彦の詳細を見る
• 同名の論文著者
• 京都大学大学院エネルギー科学研究科の論文著者

関連著者

• 佐藤 雅彦

  京都大学大学院エネルギー科学研究科

• 佐藤 雅彦

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

• 佐藤 雅彦

  Department Of Information Science Faculty Of Science University Of Tokyo

• Sato Masahiko

  Graduate School Department Of Mathematics Kyoto University

• Sato Masahiko

  Department Of Information Science Kyoto University

• 浜口 智志

  京都大学大学院エネルギー科学研究科

• 若谷 誠宏

  京都大学大学院エネルギー科学研究科

• 若谷 誠宏

  京都大学エネルギー科学研究科

• 若谷 誠宏

  京大

• 佐藤 雅彦

  核融合研

• Hamaguchi Satoshi

  Niigata Univ. Niigata Jpn

• 亀山 幸義

  筑波大

• 亀山 幸義

  筑波大学システム情報工学研究科

• 佐藤 泰介

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

• 八杉 昌宏

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

• 金田 康正

  東京大学情報基盤センター

• 堀 幸雄

  神奈川大学理学研究科情報科学専攻

• 後藤 英一

  神奈川大学理学部情報科学科

• 竹腰 雅俊

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

• 松河 雅宏

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

• Taha Azza

  Department of Mathematics and Computer Science, Am Shams University, Egypt

• 亀山 幸義

  筑波大学電子・情報工学系

• 永山 友和

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

• 亀山 幸義

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

• 今村 庄一

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

• 竹内 泉

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

• 戸谷 剛

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

• 有川 節夫

  九州大学大学院システム情報科学研究院

• 丸岡 章

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

• 宮野 悟

  東京大学医科学研究所

• 山中 淳彦

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

• 浜口 智志

  大阪大学大学院工学研究科原子分子イオン制御理工学センター

• 湯淺 太一

  京都大学大学院工学研究科情報工学専攻

• 宮野 悟

  東京大学医科学研究所ヒトゲノム解析センター

• 宮野 悟

  科学技術振興事業団erato北野共生システムプロジェクト

• 馬谷 誠二

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

• 新名 庸生

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

• 湯淺 太一

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

• 湯浅 太一

  豊橋技術科学大学

• 有川 節夫

  九州大学副学長、附属図書館長、大学院システム情報科学研究院教授

• 有川 節夫

  九州大学大学史料室

• 堀 幸雄

  神奈川大学大学院理学研究科情報科学専攻

• 山中 淳彦

  東北大学大学院情報科学研究科:(現)nec C&c 研究所

• 佐藤 泰介

  東京工業大学

• 竹内 泉

  京都大学情報学研究科

• Taha Azza

  Department Of Mathematics And Computer Science Am Shams University Egypt

• Yasugi Masahiro

  Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Universit

• Masahiro Yasugi

  Graduate School Of Informatics Kyoto University

• 若谷 誡宏

  京都大学大学院エネルギー科学研究科

もっと見る 閉じる

著作論文

• 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
• 数学記号の認知速度 : 実験心理学的計測方法と実例
• Polyvariant Specializationon Type-directed Partial Evaluation
• Constructive Data Refinementの証明技法の改善
• 二階文脈計算(プログラミング及びプログラミング言語)
• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
• 型情報を一部明示した環境計算体系
• オメガ正規言語の測度が有理数であること
• 適切さの論理を用いた帰納論理プログラミング
• 発見科学の構想と展開(発見科学)
• 参照透明な代入を持つ純関数型言語
• 17aRA-6 非線形抵抗性壁モードのモデリング
• 構成的理論に基づいたプログラミング言語Zとその実装
• 22pXG-13 負磁気シアートカマクにおける非線形ダブルテアリングモード
• 8aSS-1 簡約化MHDモデルによる新古典テアリングモードの解析((理論・数値解析),磁場閉じ込め,領域2)

もっと見る 閉じる

スポンサーリンク