佐藤 雅彦 | Department Of Information Science Faculty Of Science University Of Tokyo

スポンサーリンク

概要

• 同名の論文著者
• Department Of Information Science Faculty Of Science University Of Tokyoの論文著者

関連著者

• 佐藤 雅彦

  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

• 佐藤 雅彦

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

• 佐藤 雅彦

  Department Of Information Science Kyoto University

• 亀山 幸義

  筑波大

• 亀山 幸義

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

• 佐藤 雅彦

  東京大学理学部

• 佐藤 雅彦

  Department Of Cardiovascular Medicine Public Soma General Hospital

• TAHA AZZA

  Graduate School of Informatics, Kyoto University

• SATO MASAHIKO

  Graduate School of Informatics, Kyoto University

• KAMEYAMA YUKIYOSHI

  Graduate School of Informatics, Kyoto University

• 佐藤 雅彦

  京都大学数理解析研究所

• Kameyama Yukiyoshi

  Graduate School Of Informatics Kyoto University

• Taha Azza

  Graduate School Of Informatics Kyoto University

• 佐藤 泰介

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

• 八杉 昌宏

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

• 金田 康正

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

• 丸山 幸夫

  福島県立医科大学第一内科

• 佐藤 雅彦

  福島県立医科大学第一内科

• 佐藤 雅彦

  公立相馬総合病院

• 三次 実

  福島県立医科大学第一内科

• 五十嵐 盛雄

  白河厚生病院循環器科

• 中村 敏一

  大阪大学 機能制御外科

• 油井 満

  いわき市立総合磐城共立病院循環器科

• 広坂 朗

  福島県立医科大学一内

• 堀 幸雄

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

• 後藤 英一

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

• 竹腰 雅俊

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

• 松河 雅宏

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

• Taha Azza

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

• 亀山 幸義

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

• 永山 友和

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

• 亀山 幸義

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

• 今村 庄一

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

• 白井 智

  京都大学情報学研究科

• 佐藤 雅彦

  京都大学情報学研究科

• 竹内 泉

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

• 戸谷 剛

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

• 有川 節夫

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

• 丸岡 章

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

• 宮野 悟

  東京大学医科学研究所

• 山中 淳彦

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

• 亀山 幸義

  東北大学電気通信研究所

• 佐藤 雅彦

  東北大学電気通信研究所

• 廣坂 朗

  太田綜合病院附属太田西ノ内病院 循環器科

• 小松 宣夫

  いわき市立総合磐城共立病院循環器科

• 中村 敏一

  大阪大学先端科学イノベーションセンタークリングルファーマ再生創薬共同研究部門

• 清野 義胤

  星総合病院

• 木島 幹博

  星総合病院

• 三次 実

  済生会福島総合病院 循環器内科

• 丸山 幸夫

  Department Of Cardiology And Hematology Fukushima Medical University

• 丸山 幸夫

  福島県立医科大学 第一内科

• 丸山 幸夫

  太田綜合病院附属太田西ノ内病院 血液内科

• 藤野 彰久

  福島医大第一内科

• 中村 敏一

  大阪大学先端科学イノベーションセンター

• 阿部 之彦

  大原医療センター循環器科

• 湯淺 太一

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

• 小松 宣夫

  太田綜合病院附属太田西ノ内病院循環器センター

• 小松 宣夫

  星総合病院循環器科

• 玉川 和亮

  福島県立会津総合病院循環器科

• 渡辺 正之

  済生会福島総合病院 循環器内科

• 渡辺 正之

  済生会福島総合病院循環器科

• 渡辺 正之

  山形大学 第1内科

• 宮野 悟

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

• 宮野 悟

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

• Maruyama Yukio

  福島県立医科大学 循環器･血液内科学講座

• 大原 直人

  総合会津中央病院循環器科

• 廣坂 朗

  太田西ノ内病院

• 廣坂 朗

  (財)太田綜合病院附属太田西ノ内病院循環器センター内科

• 津田 晃洋

  須賀川病院心臓血管外科

• 藤野 彰久

  米沢市立病院

• 斎藤 富善

  白河厚生総合病院

• 馬谷 誠二

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

• 津田 達徳

  平心会須賀川病院循環器科

• 中里 和彦

  福島県立医科大学第一内科

• 小野 正博

  福島県立医科大学第一内科

• 木島 幹博

  星総合病院心臓病センター循環器科

• 新名 庸生

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

• 湯淺 太一

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

• 湯浅 太一

  豊橋技術科学大学

• 丸山 幸夫

  総合保原中央病院 血液内科

• Maruyama Yukio

  Department Of Cardiology And Hematology Fukushima Medical University

• 有川 節夫

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

• 有川 節夫

  九州大学大学史料室

• 比佐 新一

  辰星会枡記念病院循環器科

• Maruyama Yukio

  福島県立医科大学 第一内科

• 清野 義胤

  星総合病院循環器科

• Sato Masahiko

  First Department Of Internal Medicine Fukushima Medical University

• 堀 幸雄

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

• 山中 淳彦

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

• 木島 幹博

  星総合病院循環器科

• Kubo Takaaki

  NONSTOP group

• Hirosaka Akira

  NONSTOP group

• Kijima Mikihiro

  Department Of Cardiology Hoshi General Hospital

• Kijima Mikihiro

  Division Of Cardiology Hoshi General Hospital

• Saito Tomiyoshi

  Division Of Pathology Hoshi General Hospital

• 大和田 尊之

  福島南循環器科病院循環器内科

• Maruyama Y

  Department Of Cardiology And Hematology Fukushima Medical University

• 前山 忠美

  福島労災病院循環器内科

• Nakasato Kazuhiko

  The First Department Of Internal Medicine Fukushima Medical University

• 佐藤 泰介

  東京工業大学

• Kameyama Yukiyoshi

  Department Of Computer Science Graduate School Of Systems And Information Engineering University Of

• Kameyama Yukiyoshi

  Department Of Information Science Kyoto University

• 竹内 泉

  京都大学情報学研究科

• 大原 直人

  山形大学医学部

• Taha Azza

  Department Of Mathematics And Computer Science Am Shams University Egypt

• Saitou Takeo

  Division Of Pathology Hoshi General Hospital

• Mitsugi Minoru

  First Department Of Internal Medicine Fukushima Medical University

• Mitsugi Minoru

  Department Of Internal Medicine I Fukushima Medical University Fukushima

• Saitoh Tuneyoshi

  1st Department Of Internal Medicine Fukushima Medical College

• Nakazato Kazuhiko

  The First Department Of Internal Medicine Fukushima Medical University

• 渡邊 正之

  山形大学医学部

• Maruyama Y

  東北大学 第1内科

• 三次 実

  済生会福島総合病院循環器内科

• 木島 幹博

  星総合病院循環器内科

• Igarashi Morio

  Cardiovaseular Institute

• Sato Masahiko

  Department Of Cardiology Surugadai Nihon Univ. Hospital(the 2nd Department Of Internal Medicine)

• Yasugi Masahiro

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

• Masahiro Yasugi

  Graduate School Of Informatics Kyoto University

• Suzuki Shigebumi

  Department Of Circulation Fukushima Rousai Hospital

• Sato Masahiko

  Departlent Of Physiological Anthropology Kyushu University Of Design Sciences

• Maruyama Yukio

  1st Dept. Of Intern. Med. Tohoku Univ. School Of Med.

• 小野 正博

  General South Tohoku Hospital

• 斎藤 富善

  Department Of Internal Medicine Ii Shirakawa Kosei General Hospital

• 阿部 之彦

  Oharara Medical Center

• 小松 宣夫

  Iwaki Kyoritsu General Hospital

• 津田 達徳

  Sukagawa Hospital

• 大原 直人

  Aizu West Hospital

• 油井 満

  Iwaki Kyoritsu General Hospital

• 五十嵐 盛雄

  Department Of Internal Medicine Ii Shirakawa Kosei General Hospital

• 三次 実

  Department of Internal Medicine I, Fukushima Medical University School of Medicine, Fukushima

• 木島 幹博

  Department of Cardiovascular, Medicine Hoshi General Hospital

• 清野 義胤

  Department of Cardiovascular, Medicine Hoshi General Hospital

• 藤野 彰久

  Yonezawa Municipal Hospital

• 廣坂 朗

  Ohta Nishinouchi Hospital

• 比佐 新一

  Masu Memorial Hospital

• 久保 貴昭

  Takeda General Hospital

• 前山 忠美

  Iwaki Municipal Jyoban Hospital

• 大和田 尊之

  Fukushima South Circulatory Hospital

• 鈴木 重文

  Fukushima Rosai Hospital

• 玉川 和亮

  Fukushima Prefectural Aizu General Hospital

• 津田 晃洋

  Sukagawa Hospital

• 渡辺 正之

  Saiseikai Fukushima General Hospital

• 中里 和彦

  Department of Internal Medicine I, Fukushima Medical University School of Medicine

• 清野 義胤

  Department Of Cardiovascular Medicine Hoshi General Hospital

• 清野 義胤

  Department of Cardiology, Hoshi General Hospital

• 渡邊 正之

  福島赤十字病院循環器科

• 五十嵐 盛雄

  Department of Internal Medicine II, Shirakawa Kosei General Hospital

もっと見る 閉じる

著作論文

• 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)
• フレーゲの計算機科学への影響 (特集 フレーゲの現代性)
• 数学記号の認知速度 : 実験心理学的計測方法と実例
• Polyvariant Specializationon Type-directed Partial Evaluation
• Constructive Data Refinementの証明技法の改善
• 二階文脈計算(プログラミング及びプログラミング言語)
• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
• 型情報を一部明示した環境計算体系
• A Second Order Typed Context Calculus
• 型付きλ計算の拡張によるMobile計算の定式化
• オメガ正規言語の測度が有理数であること
• プログラム理論 A Type-Free Context Calculus
• 適切さの論理を用いた帰納論理プログラミング
• 発見科学の構想と展開(発見科学)
• 参照透明な代入を持つ純関数型言語
• 自己反映的証明体系RPTの理論と実現
• 構成的理論に基づいたプログラミング言語Zとその実装
• A Formal Theory of Symbolic Expressions(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
• Algebraic Structure of Symbolic Expressions (Mathematical Studies of Information Processing)
• ニセ金発見パズルについて (計算機によるパズル・ゲームの研究)
• On Formal Fractions Associated with the Symmetric Groups (組合せ構造とグラフ理論)
• 2個の生成元を持つFree IN-Algebra及びFree ICN-Algebraの決定 (数理論理とモデル理論)
• Lゲームの計算機による分類 (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
• Classical Brouwer-Heyting-Kolmogorov interpretation
• A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability(Type Theory and its Applications to Computer Systems)
• On the Periods of Certain Pseudorandom Sequences
• ACUTE MYOCARDIAL INFARCTION IN FUKUSHIMA AREA OF JAPAN

もっと見る 閉じる

スポンサーリンク