Sato Masahiko 佐藤雅彦

… Alternative Names

Researcher Number	20027387
Other IDs
External Links
Affiliation (Current)	2019 : 京都大学, 情報学研究科, 名誉教授
Affiliation (based on the past Project Information) *help	2012 – 2019 : 京都大学, 情報学研究科, 名誉教授 2012 : 京都大学, 大学院・情報学研究科, 名誉教授 1998 – 2011 : Kyoto University, Graduate School of Infermatics, Professor, 情報学研究科, 教授 2009 : Kyoto University, 大学院・情報学研究科, 教授 2006 – 2007 : 京都大学, 大学院・情報学研究科, 教授 … More
Review Section/Research Field	Principal Investigator 計算機科学 / Science and Engineering / Software / Informatics / Software / General mathematics (including Probability theory/Statistical mathematics) / Philosophy/Ethics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / Philosophy / Science and Engineering / 計算機科学 / Fundamental theory of informatics / Intelligent informatics
Keywords	Principal Investigator 型理論 / メタ言語 / 構成的プログラミング / Constructive Programming / 関数型プログラム言語 / 直観主義論理 / 変数の衝突 / ソフトウェアの安全性 / 古典論理 / 証明支援系 … More Except Principal Investigator 論理哲学 / 論理学史 / 論理学 / 線形論理 / 計算量理論 / アブダクション / プログラム言語 / 構成的プログラミング / データベース / constructive programming / プログラム理論 / 知識発見 / 自然言語 / 発見科学 / プログラミング言語 / 意味論 / 様相論理 / ネットワークエージェント / 証明論 / 計算モデル / 定理証明 / 機械学習 / 例による証明 / タイプ理論 / 直観主義論理 / データマイニング / 科学的発見の論理 / ソフトウエアプロセスの記述 / 明示的環境 / 蛋白質の構造 / セルオートマトン / COMPUTER MATHEMATICS / Linear Logic / computational logic / learning theory / Proof Theory / 古典論理証明の実行 / Program Synthesis / 散的アルゴリズム論 / 安定群 / 直観主義理論 / Graph Algorithms / Algebraic Semantics / 超巾 / computational complexity / Non-classical Logic / discovery science / 論理と証明 / 超並列計算機 / COMPUTATIONAL COMPLEXITY / Calculability / 型理論とプログラム抽出 / 並列プロセス計算σー計算 / プログラム意味論 / 構成的数学体系 / LOGICS AND INFERENCE / abduction / COMPUTABLE LOGICS / SPMD / 意味表現 / 代数的意味論 / Knowledge Propositional Logic / 非古典論理 / プログラム合成論 / 増進的曖昧性解消 / 知識科学 / 算譜の仕様 / 論理体系 / 意味表現形式 / Boolean valued model / 時間の論理 / relational calculus / Temporal Logic / プログラム・モデル / 算譜合成 / ATMSを用いた項書換え系 / Constructive Mathematics / ナノバイオ / category theory / 形式的仕様 / 論理情報の視覚化 / Program Verification / 例によるプログラミング / 限定継続 / 自然言語処理 / program verification / 環境適応型ソフトウェア / プログラム検証 / Distributed Operating System / 実時間システム / 平行計算 / 談話生成 / 高機能高品質ソフトウエア / 上位 / グラフ算法 / 形式的検証 / DNAコンピュータ / Verification of Programs / Cellular Automata / ア-ベル群 / 論理的手法 / プログラムの論理と証明 / 安定性理論 / 算譜言語 / 計算可能論理 / システム同定 / 並列プログラミング / 定義可能性 / プログラミング意味論 / 微分方程式の同定 / 計算機構論 / 論理 / 高階単一化 / 比喩 / 形式検証 / 知識命題論理 / Intuitionistic Logic / Theory of Models / data mining / 高階論理体系 / THEORY OF PROGRAMS / プログラムの検証 / 学習理論 / 英文翻訳 / Music Information Processing / 曖味性解消 / Structure of Proteins / 並列アルゴリズム / 計算可能理論 / 下位関係 / 概念の分析 / artificial intelligence / 関係計算 / オブジェクト並列 / 時相論理 / 算譜言語のモデル / Constructive Proof / 幾何学算法 / 型理論ATTT / 情報 / Relational Algebra / 自己組織化 / 論理と推論 / Abel Group / 線形時間時相論理 / 同期点解析 / カテゴリー論 / logic of scientific discovery / 分散アルゴリズム / database / 理論情報科学 / machine learning / 項書き換系とナローイング / 意味理解 / アルゴリズム・アニメ-ション / 生体生命情報学 / computer science / モデルの理論 / 形式的証明の開発 / グラフの構造 / セルオ-トマン / Information and Logic / Galois Theory / program logic / 構成的数学体系RPT / 文字列パターン / 分散OS / 線形理論 / MIMD / 形式仕様 / 関係代数 / 定理証明系 / ブ-ル値モデル / バイオテクノロジー / 知識表現 / 型理論 / 高階ユニフィケ-ション / 音楽情報処理 / 構造化ネット / PROGRAM SYNTHESIS / Theorem Proving / network agent / Program Semantics / 実行の論理 / 構成的証明 / Definability / データフロー解析 / 人工知能 / C言語 / プログラム言語の意味論 / programming semantics / Curry-Howardの対応 / ソフトウェア開発 / 文生成 / 計算機数学 / knowledge science / 計算機科学 / classical proof execution / SIMD / セルオ-トマトン / 証明チェッカ / 集合論 / 算譜の検証 / 生態生命情報学 / 情報と論理 / 計算可能性 / DISCRETE ALGORITHMS / Programming Languages / 計算論理学 / ガロアの理論 / 超準解析 / シソーラス / Type Theory / 公理化 / Concurrency / Stability Theory / Identification of Differential Equations Less

クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化Principal InvestigatorOngoing
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
フレーゲ論理学の証明論的および意味論的研究Principal InvestigatorOngoing
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto University
Construction of a self-extendable software verification system based on class theoryPrincipal Investigator
- Principal Investigator
  
  Sato Masahiko
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
New development of research on bug-free software construction environmentPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
Software development environment based on integration of computation and logicPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Kyoto University
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
- Principal Investigator
  
  IGARASHI Atsushi
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2004 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Keio University
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
分子プログラミング
- Principal Investigator
  
  萩谷昌己
- Project Period (FY)
  2002 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Tokyo
変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator
- Principal Investigator
  
  佐藤雅彦
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (C)
- Review Section
  
  Science and Engineering
- Research Institution
  Kyoto University
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
Calculi and Logic of Environment and ContextPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
特定領域研究「新しい論理学の展開」のための企画研究
- Principal Investigator
  
  岡田光弘
- Project Period (FY)
  1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy
- Research Institution
  Keio University
Logic of Knowledge DiscoveryPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Kyoto University
Foundations of Knowledge Discovery from Science and Business Information
- Principal Investigator
  
  ARIKAWA Setsuo
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Kyushu University
Implementation of Constructive Programming Based on Classical LogicPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Proof Animation -testing proofs by constructive programming-
- Principal Investigator
  
  HAYASHI Susumu
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Kobe University
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Keio University
巨大学術社会情報からの知識発見に関する基礎研究
- Principal Investigator
  
  ARIKAWA Setsuo
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
An interdisciplinary study on categorical computer mathematics
- Principal Investigator
  
  KAWAHARA Yasuo
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KYUSHU UNIVERSITY
Theory of Constructive ProgrammingPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Design and Implementation of Constructive Programming SystemsPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Application of type theory and linear logic for Programming Languages
- Principal Investigator
  
  OKADA Mitsuhiro
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for international Scientific Research
- Research Institution
  Keio University
Synthetic Research on the Theory of Algorithms
- Principal Investigator
  
  KOBAYASHI Kojiro
- Project Period (FY)
  1994 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Institute of Technology
Constructive Programming System for Proof Development, Verification, and Program SynthesisPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1994 – 1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
  Tohoku University
高機能高品質ソフトウエアの基礎理論に関する研究
- Principal Investigator
  
  伊藤貴康
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tohoku University
超並列記述系・処理系に関する研究
- Principal Investigator
  
  雨宮真人
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
高機能高品質ソフトウェアの基礎理論
- Principal Investigator
  
  伊藤貴康
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tohoku University
Co-operative Research on Discrete Computer Mathematics
- Principal Investigator
  
  ARIKAWA Setsuo
- Project Period (FY)
  1991 – 1992
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  KYUSHU UNIVERSITY
人間と機械における情報の表現と意味に関する研究
- Principal Investigator
  
  田中穂積
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
高機能高品質ソフトウエアの基礎理論
- Principal Investigator
  
  伊藤貴康
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tohoku University
Co-operative research on foundational theories of programsPrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1990 – 1992
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Co-operative Research of Theory of Models and related fields
- Principal Investigator
  
  MOTOHASHI Nobuyoshi
- Project Period (FY)
  1989 – 1991
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  University of Tsukuba
人間と機械における情報の表現と意味に関する研究
- Principal Investigator
  
  田中穂積
- Project Period (FY)
  1988 – 1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
人間と機械における情報の表現と意味に関する研究
- Principal Investigator
  
  田中穂積
- Project Period (FY)
  1988 – 1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Tokyo Institute of Technology
Co-Operative Research on Discrete Mathematics for Information
- Principal Investigator
  
  HIROSE Ken
- Project Period (FY)
  1988 – 1990
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Waseda University
自然言語とコンピュータソフトウェアの基本問題に関する日米協力研究
- Principal Investigator
  
  福村晃夫
- Project Period (FY)
  1987
- Research Category
  
  Grant-in-Aid for Overseas Scientific Research
Design of Proving, Verifying, and Synthesizing System based on ConstructivePrincipal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1987 – 1989
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  Tohoku University
Design of a functional logic programming language, and development of proof, vorification and synthosis system based on it.Principal Investigator
- Principal Investigator
  
  SATO Masahiko
- Project Period (FY)
  1985 – 1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  TOHOKU UNIVERSITY
  The University of Tokyo

[Journal Article] フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -2016
- Author(s)
  佐藤雅彦
- Journal Title
  
  科学哲学
  
  Volume : 49 Pages : 67-84
- Acknowledgement Compliant / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K13150
[Journal Article] フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -2016
- Author(s)
  佐藤雅彦
- Journal Title
  
  科学哲学
  
  Volume : 49 Pages : 67-84
- Acknowledgement Compliant / Open Access / Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] 項書き換えシステムの変換を利用した帰納的定理自動証明2015
- Author(s)
  佐藤洸一, 菊池健太郎, 青戸等人, 外山芳人
- Journal Title
  
  コンピュータソフトウェア
  
  Volume : 32 Pages : 179-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Correctness of context-moving transformations for term rewriting systems2015
- Author(s)
  Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume : 9527 Pages : 331-345
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280025
[Journal Article] Viewing lambda-terms through maps2013
- Author(s)
  M. Sato, R. Pollack, H. Schwichtenberg, T. Sakurai
- Journal Title
  
  Indagationes Mathematicae
  
  Volume : 24 Pages : 1073-1104
- DOI
  10.1016/j.indag.2013.08.003
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24650002, KAKENHI-PROJECT-25280025
[Journal Article] A Canonical LocalRepresentation of Binding2012
- Author(s)
  Randy Pollack, Masahiko Sato andWilmer Ricciotti
- Journal Title
  
  Journal ofAutomated Reasoning
  
  Volume : Vol. 49 Pages : 185-207
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] A Canonical Local Representation of Binding2011
- Author(s)
  Randy Pollack, Masahiko Sato, Wilmer Ricciotti
- Journal Title
  
  a special issue of Journal of Automated Reasoning
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] External and internal syntax of the λ-calculus2010
- Author(s)
  Masahiko Sato, Randy Pollack
- Journal Title
  
  Journal of Symbolic Computation
  
  Volume : 45 Pages : 598-616
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] External and internal syntax of thelambda-calculus2010
- Author(s)
  Masahiko Sato, and Randy Pollack
- Journal Title
  
  Journal of SymbolicComputation
  
  Volume : Vol.45
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300008
[Journal Article] External and Internal Syntax of the Lambda-Calculus2008
- Author(s)
  Masahiko Sato
- Journal Title
  
  The Austrian-Japanese Workshop on Symbolic Computation in Software Science
  
  Pages : 176-195
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] A Framework for Checking Proofs Naturally2008
- Author(s)
  佐藤雅彦
- Journal Title
  
  Journal of Intelligent Information System 31
  
  Pages : 111-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] A Framework for Checking Proofs Naturally2008
- Author(s)
  M. Sato
- Journal Title
  
  Journal of Intelligent Information Systems 31
  
  Pages : 111-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] フレーゲの計算機科学への影響2008
- Author(s)
  佐藤雅彦
- Journal Title
  
  分析哲学の誕生(日本科学哲学会編, 勁草書房)
  
  Pages : 127-141
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] フレーゲの計算機科学への影響2008
- Author(s)
  佐藤雅彦
- Journal Title
  
  分析哲学の誕生 (日本科学哲学会編)(勁草書房)
  
  Pages : 127-141
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Combining randomness and a high-capacity DNA memory2008
- Author(s)
  Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, and Masami Hagiya
- Journal Title
  
  DNA Computing: 13th International Workshop on DNA Computing, DNA13, LNCS Vol.4848
  
  Pages : 109-118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] フレーゲの計算機科学への影響2008
- Author(s)
  佐藤雅彦
- Journal Title
  
  分析哲学の誕生(日本科学哲学会編,勤草書房)
  
  Pages : 127-141
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
- Journal Title
  
  Frontiers of Computer Science in China 2 (1)
  
  Pages : 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama and Atsushi Igarashi
- Journal Title
  
  Frontiers of Computer Science in China 2(1)
  
  Pages : 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] A Framework for Checking Proofs Naturally, Journal of Intelligent2008
- Author(s)
  Masahiko Sato
- Journal Title
  
  Information Systems 31
  
  Pages : 111-125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Calculi of Meta-variables2008
- Author(s)
  Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Iaarashi
- Journal Title
  
  Frontiers of Computer Science in China 2(1)
  
  Pages : 12-21
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] External and Internal Syntax of the Lambda-Calculus2008
- Author(s)
  佐藤雅彦
- Journal Title
  
  The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)
  
  Pages : 176-195
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] External and Internal Syntax of the Lambda- Calculus2008
- Author(s)
  M. Sato
- Journal Title
  
  The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)
  
  Pages : 176-195
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19300007
[Journal Article] Combining Randomness and a High-capacity DNA Moemry2007
- Author(s)
  Atsushi Kameda, Satoshi Kashiwamura, Masahito Yamamoto, Azuma Ohuchi, Masami Hagiya
- Journal Title
  
  Preliminary Proceedings of the 13th International Meeting on DNA Computing 1
  
  Pages : 261-269
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] DNA Memorty with 16.8M addresses2007
- Author(s)
  Masahito Yamamoto, Satoshi Kashiwamura, Azuma Ohuchi
- Journal Title
  
  Preliminary Proceedings of the 13th International Meeting on DNA Computing 1
  
  Pages : 19-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Development of DNA Relational Database and Data Manipulation Experiments2006
- Author(s)
  Masahito Yamamoto, Yutaka Kita, Satoshi Kashiwamura, Atsushi Kameda, Azuma Ohuchi
- Journal Title
  
  DNA Computing (DNA12), Lecture Notes in Computer Science 4287
  
  Pages : 418-427
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Data Manipulation of DNA Relational Database2006
- Author(s)
  Yutaka Kita, Satoshi Kasbiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
- Journal Title
  
  The Eleventh International Symposium on Artificial Life and Robotics (AROB 11th'06) 1
  
  Pages : 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] 計算と論理のための自然枠組NF/CAL2006
- Author(s)
  佐藤雅彦
- Journal Title
  
  コンピュータソフトウェア 23・3
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Reversible Signal Amplification by Linear Hybridization Chain Reaction2006
- Author(s)
  Tomohiro Suzuki, Ken Komiya, Satoshi Murata
- Journal Title
  
  Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11) 1
  
  Pages : 418-418
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Reversible Signal Amplification by Linear Hybridization Chain Reaction2006
- Author(s)
  Tomohiro Suzuki, Ken Komiya, Satoshi Murata
- Journal Title
  
  Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11)
  
  Pages : 418-418
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Development of DNA Relational Database and Data Manipulation Experiments2006
- Author(s)
  Masahito Yamamoto, Yutaka Kita, Satoshi Kashiwamura, Atsushi Kameda, Azuma Ohuchi
- Journal Title
  
  DNA Computing (DNA12), Lecture Notes in ComputerScience 4287
  
  Pages : 418-427
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Modified substrate specificity of pyrroloquinoline quinone glucose dehydrogenase by biased mutation-assembling with optimized amino acid substitution2006
- Author(s)
  Hamamatsu, N., Suzumura, A., Nomiya, Y., Sato, M., Aita, T., Nakajima, M., Husimi, Y., Shibanaka, Y.
- Journal Title
  
  Applied Microbiology and Biotechnology 73
  
  Pages : 607-617
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Self-Assembling Systems2006
- Author(s)
  Satoshi Murata
- Journal Title
  
  9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) 1(CD-ROM)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Self-Assembling Systems2006
- Author(s)
  Satoshi Murata
- Journal Title
  
  9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) (CD-ROM)
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Computation by DNA Molecule2006
- Author(s)
  Satoshi Murata
- Journal Title
  
  SCIS＆ISIS 2006 (invited session)
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Computation by DNA Molecule2006
- Author(s)
  Satoshi Murata
- Journal Title
  
  SCIS&ISIS 2006 (invited session) 1
  
  Pages : 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Strong normalization proofs by CPS-translations2006
- Author(s)
  Satoshi Ikeda, Koji Nakazawa
- Journal Title
  
  Information Processing Letters 99
  
  Pages : 163-170
- Data Source
  KAKENHI-PROJECT-18049044
[Journal Article] Efficient algorithm for testing structure freeness of finite set of biomolecular sequences2005
- Author(s)
  Atsushi Kijima, Satoshi Kobayashi
- Journal Title
  
  Proceedings of 11th International Meeting on DNA BasedComputers 1
  
  Pages : 278-288
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Predicting the Expression Levels of Recombinant Protein by using Reinforcement Learning2005
- Author(s)
  Satoshi Kira, Masayuki Yamamura, Seiki Kuramitsu
- Journal Title
  
  Proc.of the 8th IASTED International Conference on Intelligence Systems and Control (ISC2005)
  
  Pages : 471-476
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] A Simple Theory of Expressions, Judgments and Derivations2005
- Author(s)
  Masahiko Sato
- Journal Title
  
  Proc. ASIAN '04,LNCS 3221
  
  Pages : 437-451
- Data Source
  KAKENHI-PROJECT-16016245
[Journal Article] Potential for enlarging DNA memory : the validity of experimental operations of scaled-up nested primer molecular memory2005
- Author(s)
  Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi
- Journal Title
  
  Biosystems Vol. 80, No. 1
  
  Pages : 99-112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] フレーゲの計算機科学への影響2005
- Author(s)
  佐藤雅彦
- Journal Title
  
  科学哲学 38(2)
  
  Pages : 21-33
- Data Source
  KAKENHI-PROJECT-16016245
[Journal Article] General Protocol for Evaluating the Degree of Occurrence of Mis-Hybridization2004
- Author(s)
  Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
- Journal Title
  
  Proceedings of the Ninth International Symposium on Artificial Life and Robotics (AROB 9th'04) 1
  
  Pages : 303-308
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Testing Structure Freeness of Regular Sets of Biomolecular Sequences2004
- Author(s)
  Satoshi Kobayashi
- Journal Title
  
  Proceedings of 10th International Meeting on DNA Based Computers 1
  
  Pages : 395-404
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] An Algorithm for Testing Structure Freeness of Biomolecular Sequences2004
- Author(s)
  Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara
- Journal Title
  
  Lecture Notes in Computer Science Vol.2950
  
  Pages : 266-277
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Two-step Search for DNA Sequence Design, IEICE TRANSACTIONS on Fundamentals of Electronics2004
- Author(s)
  Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
- Journal Title
  
  Communications and Computer Sciences Vol. E87-A, N0. 6
  
  Pages : 1446-1453
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Evaluating Biomolecular Sequences Using Hydrogen Bond Network Graph2004
- Author(s)
  Kazuya Nagatsu, Atsushi Kijima, Satoshi Kobayashi
- Journal Title
  
  Proceedings of 10th International Meeting on DNA Based Computers 1
  
  Pages : 441-441
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Evaluation and Benchmarking2003
- Author(s)
  Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuehi
- Journal Title
  
  Proceedings of Workshop on Simulation Tools for Biomolecular Computing in 2003 Congress on Evolutionary Computation 1
  
  Pages : 22-26
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Structure Free Sequences for Biomolecular Computing2003
- Author(s)
  Satoshi Kobayashi
- Journal Title
  
  The 990th American. Mathematical Society Fall EasternSectional Meeting 1
  
  Pages : 80-80
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] An Algorithm for Testing Structure Freeness of Biomolecular Sequences2003
- Author(s)
  Satoshi Kobayashi, Takashi Yokomori, Yasubumi Sakakibara
- Journal Title
  
  Lecture Notes in Computer Science 2950
  
  Pages : 266-277
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Two-step Search for DNA Seauence Design2003
- Author(s)
  Satoshi Kashiwamura, Atsushi Kameda, Masahito Yamamoto, Azuma Ohuchi
- Journal Title
  
  Proceedings of the 2003 International Technical Conference on Circuits/Systems, Computers and Communications 1
  
  Pages : 1-5
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] A method for extracting globally structure free set of sequences2003
- Author(s)
  Satoshi Kobayashi, Tomohiro Kondo, Kohei Okuda, Etsuji Tomita
- Journal Title
  
  Technical Report of IEICE COMP2003-16
  
  Pages : 1-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Towards Optimization of PCR Protocol in DNA Computing2002
- Author(s)
  Satoshi Kashiwamura, Masashi Nakatsugawa, Masahito Yamamoto, Toshikazu Shiba, Azuma Ohuchi
- Journal Title
  
  DNA Computing (DNA7), LNCS 2340
  
  Pages : 14-22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Towards a High Reliability of the PCR Amplification Process in DNA Computing2002
- Author(s)
  Masashi Nakatsugawa, Satoshi Kashiwamura, Masahito Yamamoto, Toshikazu Shiba, Azuma Ohuchi
- Journal Title
  
  International Journal of Computational Intelligence and Applications Vol. 2, No. 4
  
  Pages : 423-432
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Hierarchical DNA Memory based on Nested PCR2002
- Author(s)
  Satoshi Kashiwamura, Masahito Yamamoto, Atsushi Kameda, Toshikazu Shiba, Azuma Ohuchi
- Journal Title
  
  Proceedings of 8th International Meeting on DNA Based Computers 1
  
  Pages : 231-240
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Journal Article] Horn Clause Computation by Self-Assembly of DNA Molecules2002
- Author(s)
  Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi
- Journal Title
  
  DNA7 Lecture Notes in Computer Science Vol. 2340
  
  Pages : 308-320
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-14085101
[Presentation] A common notation system for the lambda calculus and combinatory logic2018
- Author(s)
  Masahiko Sato
- Organizer
  Second Workshop on Mathematical Logic and its Applications
- Data Source
  KAKENHI-PROJECT-17H01724
[Presentation] A common notation system for the lambda calculus and combinatory logic2018
- Author(s)
  Masahiko Sato
- Organizer
  Second Workshop on Mathematical Logic and its Applications
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] A common notation system for both lambda calculus and combinatory logic2017
- Author(s)
  Masahiko Sato
- Organizer
  Oberseminar Mathematische Logik, (LMU Munich, Mathematisces Institut)
- Data Source
  KAKENHI-PROJECT-17H01724
[Presentation] A common notation system for both lambda calculus and combinatory logic.2017
- Author(s)
  Masahiko Sato
- Organizer
  Oberseminar Mathematische Logik, (LMU Munic, Mathematisces Institut)
- Data Source
  KAKENHI-PROJECT-16K13150
[Presentation] 計算と論理2015
- Author(s)
  佐藤雅彦
- Organizer
  情報処理学会第77回全国大会
- Place of Presentation
  京都大学
- Year and Date
  2015-03-17
- Invited
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] 私の基礎研究2015
- Author(s)
  佐藤雅彦
- Organizer
  日本ソフトウェア科学会第32回大会
- Place of Presentation
  早稲田大学理工学部
- Year and Date
  2015-09-10
- Invited
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] Viewing lambda-termsthrough maps2013
- Author(s)
  佐藤雅彦
- Organizer
  3rd Workshop on Proof Theory and Rewriting
- Place of Presentation
  石川県立美術館 (金沢市)
- Year and Date
  2013-03-07
- Data Source
  KAKENHI-PROJECT-22300008
[Presentation] External and Internal Syntax of the Lambda-Calculus, The Austrian-Japanese2008
- Author(s)
  Masahiko Sato
- Organizer
  Workshop on Symbolic Computation in Software Science (SCSS 2008)(176-195)
- Data Source
  KAKENHI-PROJECT-19300007
[Presentation] Viewing lambda-terms through maps
- Author(s)
  佐藤雅彦
- Organizer
  3rd Workshop on Proof Theory and Rewriting
- Place of Presentation
  石川県立美術館
- Data Source
  KAKENHI-PROJECT-22300008
[Presentation] A name-free lambda calculus
- Author(s)
  Masahiko Sato
- Organizer
  JAIST Logic Workshop Series 2015: Constructivism and Computablility
- Place of Presentation
  Shiinoki Cultural Complex, Kanazawa
- Year and Date
  2015-03-02 – 2015-03-06
- Invited
- Data Source
  KAKENHI-PROJECT-25280025
[Presentation] A name-free lambda calculus
- Author(s)
  Masahiko Sato
- Organizer
  TPP 2014: Theore proving and provers for reliable theory and implementations
- Place of Presentation
  Kyushu University
- Year and Date
  2014-12-03 – 2014-12-05
- Data Source
  KAKENHI-PROJECT-25280025

1. KAMEYAMA Yukiyoshi (10195000)

# of Collaborated Projects : 11results

# of Collaborated Products : 0results
2. HAGIYA Masami (30156252)

# of Collaborated Projects : 8results

# of Collaborated Products : 3results
3. OKADA Mitsuhiro (30224025)

# of Collaborated Projects : 8results

# of Collaborated Products : 0results
4. SAKURAI Takafumi (60183373)

# of Collaborated Projects : 8results

# of Collaborated Products : 1results
5. IGARASHI Atsushi (40323456)

# of Collaborated Projects : 6results

# of Collaborated Products : 2results
6. HAYASHI Susumu (40156443)

# of Collaborated Projects : 6results

# of Collaborated Products : 0results
7. ARIKAWA Setsuo (40037221)

# of Collaborated Projects : 6results

# of Collaborated Products : 0results
8. NAKAZAWA Koji (80362581)

# of Collaborated Projects : 6results

# of Collaborated Products : 1results
9. TAKEUTI Izumi (20264583)

# of Collaborated Projects : 5results

# of Collaborated Products : 0results
10. MIYANO Satoru (50128104)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
11. 野家茂樹 (50198636)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
12. TATSUTA Makoto (80216994)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
13. ONO Hiroakira (90055319)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
14. 田中穂積 (80163567)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
15. 岡田直之 (80037837)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
16. 伊藤貴康 (80124551)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
17. 土屋俊 (50155404)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
18. 飯田隆 (10117327)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
19. 岩田孝 (80176552)

# of Collaborated Projects : 4results

# of Collaborated Products : 0results
20. YUASA Taiichi (60158326)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
21. 萩原兼一 (00133140)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
22. ENOMOTO Hikoe (00011669)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
23. KAWAHARA Yasuo (90091181)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
24. KOBAYASHI Kojiro (00016148)

# of Collaborated Projects : 3results

# of Collaborated Products : 0results
25. YOSUGI Mariko (90022277)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
26. IDA Tetsuo (70100047)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
27. TAKAHASHI Masako (00015588)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
28. OHORI Atsushi (60252532)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
29. KANADA Yaumasa (90115551)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
30. MARUOKA Akira (50005427)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
31. SATO Taisuke (90272690)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
32. KOBAYASHI Naoki (00262155)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
33. YAMAMOTO Akihiro (30230535)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
34. UESU Tadahiro (60015550)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
35. HIROSE Ken (60063632)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
36. 米澤明憲 (00133116)

# of Collaborated Projects : 2results

# of Collaborated Products : 0results
37. MOTOHASHI Nobuyoshi (70015874)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
38. TSUBOI Akito (30180045)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
39. EDA Katsuya (90015826)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
40. KANO Mikio (20099823)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
41. IGARASHI Shigeru (80027367)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
42. SAWAMURA Hajime (40282991)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
43. NOE Keiichi (40103220)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
44. TAMURA Naoyuki (60207248)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
45. NAKAHARA Hayao (80115899)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
46. YONEDA Nobuo (50080487)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
47. NAKAJIMA Reiji (60109080)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
48. FUJINO Seiichi (20037146)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
49. IRI Masao (40010722)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
50. 野村浩郷 (30208392)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
51. 日高達 (30037931)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
52. 中村順一 (30164304)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
53. 榎本肇 (60016227)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
54. 雨宮真人 (90202697)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
55. 相田仁 (00175712)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
56. 牧之内顕文 (30221576)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
57. 二木厚吉 (50251971)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
58. 米崎直樹 (00126286)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
59. 外山芳人 (00251968)

# of Collaborated Projects : 1results

# of Collaborated Products : 2results
60. 笠井琢美 (70027382)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
61. 伊藤達郎 (90015909)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
62. 向井国昭 (80245597)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
63. 小林重信 (40016697)

# of Collaborated Projects : 1results

# of Collaborated Products : 8results
64. 小長谷明彦 (00301200)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
65. 塩谷光彦 (60187333)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
66. 陶山明 (90163063)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
67. 横森貴 (60139722)

# of Collaborated Projects : 1results

# of Collaborated Products : 2results
68. 山村雅幸 (00220442)

# of Collaborated Projects : 1results

# of Collaborated Products : 1results
69. 小野治 (50130802)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
70. 都甲潔 (50136529)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
71. 福村晃夫 (60022985)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
72. 山梨正明 (80107086)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
73. 長尾真 (30025960)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
74. 辻井潤一 (20026313)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
75. 郡司隆男 (10158892)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
76. 稲垣康善 (10023079)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
77. 秋吉亮太 (20587852)

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
78. OHTANI Takeshi

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
79. PARIGOT Michel

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
80. HUET Gerard

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
81. JOUANNAUD Jean-Pierre

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
82. CURIEN Pierre-Luis

# of Collaborated Projects : 1results

# of Collaborated Products : 0results
83. GIRARD Jan-Yves

# of Collaborated Projects : 1results

# of Collaborated Products : 0results

Sato Masahiko 佐藤 雅彦

SATO Masahiko 佐藤 雅彦

Research Projects

Research Products

Co-Researchers

クラス理論に基づく自己拡張可能なソフトウェア検証体系の深化Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

フレーゲ論理学の証明論的および意味論的研究Principal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of a self-extendable software verification system based on class theoryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

New development of research on bug-free software construction environmentPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software development environment based on integration of computation and logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Sato Masahiko 佐藤雅彦

SATO Masahiko 佐藤雅彦