ONO Hiroakira 小野寛晰

… Alternative Names

小野寛晰

Less

Researcher Number	90055319
Other IDs
External Links
Affiliation (based on the past Project Information) *help	1993 – 2007: 北陸先端科学技術大学院大学, 情報科学研究科, 教授 1993 – 1994: 北陸先端科学技術大学院大学, 教授 1991 – 1992: 広島大学, 工学部, 教授 1988 – 1990: 広島大学, 総合科学部, 教授 1986: 広島大学, 総合科学部, 教授
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 経済理論 / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 部分構造論理 / クリプキ意味論 / 非標準論理 / 項書換え系 / 普遍代数 / 様相論理 / substructural logic / modal logic / universal algebra / 知識の論理 … More / 論理の代数モデル / 構成的数学 / 時間論理 / 項書き換え系 / term rewriting systems / constructive mathematics / 認識論理 / ゲーム理論 / カット除去定理 / ラムダ計算 / クリプキ完全性 / 自然演繹体系 / クリプキ・フレーム / nonstandard logic / epistemic logic / Kripke semantics / game theory / cut elimination theorem / lambda calculi / 剰余束 / 多値論理 / ファジー論理 / 有限モデル性 / 剰余構造 / substructural logics / residuated lattices / many-valued logics / fuzzy logic / 数理論理学 / 代数学 / 代数論理学 / 情報構造 / 情報基礎 / Mathematical logic / Algebra / Algebraic logic / Universal algebra / Information Structures / Substructural logics … More Except Principal Investigator 計算量理論 / 自己認識論理 / 帰納推論 / 仮説推論 / 計算論的学習理論 / 知識獲得 / 様相論理 / 認識論理 / ゲーム理論 / 限定合理性 / 非古典論理 / 概念形成 / 類推 / 数理論理学 / NU / 音楽情報処理 / 人工知能 / logic / 代数的意味論 / epistemic logic / Kripke意味論 / デフォルト論理 / 階層的知識構造 / 信念の理論 / weak S5 / 時間的概念を含む推論方式 / 時区間論理式 / 概念定義プロセスの形式化 / 相様論理 / 演繹デ-タベ-ス / 自然言語処理 / 高階論理 / 納納推論 / 発展方程式 / 対称性 / 保存則 / 形式的線形化可能系 / 数式処理 / 正規型 / Miura変換 / スケーリング極限 / 白色雑音 / 超関数 / 超汎関数 / 学習 / 帰納的推論 / 項書換え系 / 階層的知識表現 / 知識と信念の論理 / 共有知識 / 非単論推論 / 時間概念を含む推論方式 / 概念定義プロセスの定式化 / 非標準論理学 / イデアル / 超準解析 / 線形論理学 / 集合論的トポロジー / 安定性理論 / クリプケモデル / substructural logic / Browerian-valued model / elementary embedding / recursive ordinal / 型理論 / ファイマン種分 / Honest Polynomial Degree / Substructural Logic / Reverse Mathemtics / Motomsthematics / New-stardird Analysis / Inner Models / Supercompect Cardinals / BCK algchra / Non-standard logic / ideal / Non-standard analysis / Linear logic / Mathematical logic / envelope system / PSYCHE / オブジェクト指向 / CMP / 解析的意味論 / ν-転換 / 時制算術 / プログラム検証 / theory of programs / programming / graph theory / artificial inteligence / music information processing / 微分方程式の同定 / 知識命題論理 / 関係代数 / プログラムの検証 / 時相論理 / 蛋白質の構造 / 高階単一化 / セルオートマトン / 文字列パターン / 時間の論理 / システム同定 / 英文翻訳 / プログラム理論 / 計算モデル / グラフの構造 / Identification of Differential Equations / Knowledge Propositional Logic / Algebraic Semantics / Relational Algebra / Verification of Programs / Temporal Logic / Structure of Proteins / Music Information Processing / カテゴリー論 / 計算機科学 / 計算論理学 / 関係計算 / プログラミング意味論 / 構成的プログラミング / category theory / computer science / computational logic / relational calculus / artificial intelligence / programming semantics / computational complexity / constructive programming / 知識発見 / 科学哲学 / 論理学 / モデル検査 / 演繹 / 環境計算 / モデル・チェッキング / 古典論理 / 分散計算環境 / knowledge discovery / philosophy of science / knowledge acquisition / model checking / deduction / 意思決定 / 有限認識構造 / ナッシュ均衡 / 証明論 / 意味論 / 誤識論理 / 個人間認識 / 個人の論理的能力 / 社会と個人 / 個人と時間 / game theory / decision making / bounded epistemic structure / Nash equilibrium / proof theory / semantics / クリプキ意味論 / ゲーム理論的意思決定過程 / 超直感主義論理 / 距離の論理 / ゲーム理論への応用 / Non-Classical Logics / Kripke Semantics / Epistemic Logics / Game Theory / Bounded Rationality / 実数の集合論 / 多様相論理 / クリクキ意味論 / non-classical logics / modal logic / Kripke semantics / algebraic semantics / theory of games / set theory of reals / 算譜合成 / 定理証明 / セルオ-トマトン / グラフ算法 / セルオ-トマン / 定理証明系 / 算譜の仕様 / 算譜の検証 / 高階論理体系 / 分散OS / 算譜言語 / 算譜言語のモデル / 論理体系 / 幾何学算法 / Program Synthesis / Theorem Proving / Non-classical Logic / Cellular Automata / Graph Algorithms / Distributed Operating System / Constructive Mathematics Less

Advances in Logics by Algebraic MethodsPrincipal Investigator
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Study of multi-modal logics and its application to game theory
- Principal Investigator
  
  SUZUKI Nobu-yuki
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Shizuoka University
Individual Perspectives of Society and Socio-economic Norms
- Principal Investigator
  
  KANEKO Mamoru
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  経済理論
- Research Institution
  University of Tsukuba
Substructural Logics and their Algebraic StructuresPrincipal Investigator
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Extended Kripke Semantics and its Application to Epistemic Logics and Game Theory
- Principal Investigator
  
  SUZUKI Nobu-yuki
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Shizuoka University
部分構造論理の代数系Principal Investigator
- Principal Investigator
  
  小野寛晰
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
Logic of Knowledge Discovery
- 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
Advances in Nonstandard LogicPrincipal Investigator
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
非標準論理とその情報科学への応用Principal Investigator
- Principal Investigator
  
  小野寛晰
- Project Period (FY)
  1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
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
Applications of Mathematical Logic in Theoretical Computer SciencePrincipal Investigator
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  1996 – 1997
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Japan Advanced Institute of Science and Technology, Hokuriku
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
Co-operative research on theoretical foundations of computer programs
- Principal Investigator
  
  TSUJI Takashi
- Project Period (FY)
  1993 – 1995
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Chiba University
  University of Tsukuba
概念形成・知識獲得過程の理論化
- Principal Investigator
  
  有川節夫
- Project Period (FY)
  1992 – 1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
微分方程式の対称性及び保存則の研究
- Principal Investigator
  
  渡辺芳英
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Hiroshima University
COOPERATIVE RESEARCH OF MATHEMATICAL LOGIC AND ITS RELATED FIELDS
- Principal Investigator
  
  KAKUDA Yuzuru
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for Co-operative Research (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kobe University
概念形成・知識獲得過程の理論化
- Principal Investigator
  
  有川節夫
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu University
人間と機械における学習・推論と認知プロセスに関する研究
- Principal Investigator
  
  坂部俊樹
- Project Period (FY)
  1990
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
人間と機械における学習・推論と認知プロセスに関する研究
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1989
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
人間と機械における学習・推論と認知プロセスに関する研究
- Principal Investigator
  
  稲垣康善
- Project Period (FY)
  1988
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Nagoya University
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)
  1986
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Hiroshima University

All 2008 2007 2006 2005 2004

All Journal Article Presentation Book

[Book] Residuated Lattices : an algebraic glimpse at substructural logics2007
- Author(s)
  N.Galatos, H.Ono 他2名
- Total Pages
  532
- Publisher
  Elsevier
- Data Source
  KAKENHI-PROJECT-17540109
[Book] Residuated Lattices: an algebraic glimpse at substructural logics2007
- Author(s)
  N.Galatos, H.Ono 他2名
- Total Pages
  532
- Publisher
  Elsevier
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraic characterizations of variable separation properties2008
- Author(s)
  H.Kihara and H.Ono
- Journal Title
  
  Reports on Mathematical Logic 43
  
  Pages: 43-63
- NAID
  120001746779
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  Nikolaos Galatos, Hiroakira Ono
- Journal Title
  
  Journal of Symbolic Logic 71, 4
  
  Pages: 1353-1384
- NAID
  120001746778
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- NAID
  120000861748
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Journal of Symbolic Logic Vol. 71, No. 4
  
  Pages: 1353-1384
- NAID
  120001746778
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  Nikolaos Galatos, Hiroakira Ono
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- NAID
  120000861748
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Studia Logica 83(to appear)
  
  Pages: 1-32
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Journal of Symbolic Logic Vol.71, No.4
  
  Pages: 1353-1384
- NAID
  120001746778
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Journal of Symbolic Logic 71-4
  
  Pages: 1353-1384
- NAID
  120001746778
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraic aspects of cut elimination2004
- Author(s)
  F.Belardinelli, P.Jipsen, H.Ono
- Journal Title
  
  Studia Logica Vol.77, No.2
  
  Pages: 209-240
- NAID
  120000861747
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Algebraic aspects of cut elimination2004
- Author(s)
  F.Belardinelli, P.Jipsen, H.Ono
- Journal Title
  
  Studia Logica Vol. 77, No. 2
  
  Pages: 209-240
- NAID
  120000861747
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340022
[Journal Article] Algebraic aspects of cut elimination2004
- Author(s)
  Francesco Belardinelli, Peter Jipsen, Hiroakira Ono
- Journal Title
  
  Studia Logica 77・2
  
  Pages: 209-240
- NAID
  120000861747
- Data Source
  KAKENHI-PROJECT-16340022
[Presentation] An algebraic approach to substructural logics2008
- Author(s)
  小野寛晰
- Organizer
  Workshop on Interval/Probabilistic Uncertainty and Non-classical Logics
- Place of Presentation
  北陸先端科学技術大学院大学
- Year and Date
  2008-03-25
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] An algebraic approach to substructural logics2008
- Author(s)
  H. Ono
- Organizer
  Workshop on Interval/Probabilistic Uncertainty and Non-classical Logics
- Place of Presentation
  JAIST
- Year and Date
  2008-03-25
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interplay between algebra and logic2007
- Author(s)
  H. Ono
- Organizer
  International conference on Order, Algebra and Logics
- Place of Presentation
  Nashville, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] An algebraic approach to logics2007
- Author(s)
  H. Ono
- Organizer
  Annual Meeting of Mathematical Society of Japan
- Place of Presentation
  Saitama University
- Year and Date
  2007-03-27
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interplay between algebra and logic2007
- Author(s)
  小野寛晰
- Organizer
  International conference on Order, Algebra and Logics
- Place of Presentation
  Vanderbilt University USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interplay between algebra and logic2007
- Author(s)
  Hiroakira Ono
- Organizer
  International Conference on Order, Algebra and Logics
- Place of Presentation
  Vanderbilt University,Nashville,USA
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] 代数的視点からの論理へのアプローチ2007
- Author(s)
  小野寛晰
- Organizer
  日本数学会 2007 年度年会
- Place of Presentation
  埼玉大学
- Year and Date
  2007-03-27
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Residuated Lattices-aproof-theoretic approach2006
- Author(s)
  小野寛晰
- Organizer
  International Symposium on Ordered Structures in Many-Valued Logic
- Place of Presentation
  Massa Lubrense, Italy
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Deducibility and parameterized local deduction theorem in substructural logics2006
- Author(s)
  小野寛晰
- Organizer
  Paris-Vienna workshop on Proof Theory
- Place of Presentation
  University of Paris VII, France
- Year and Date
  2006-06-05
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interpolation property, Robinson property and amalgamation property I2006
- Author(s)
  小野寛晰
- Organizer
  Workshop on Algebra and Substructural Logics III
- Place of Presentation
  Krakow, Poland
- Year and Date
  2006-11-07
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Residuated Lattices - a proof-theoretic approach2006
- Author(s)
  H. Ono
- Organizer
  Ordered Structures in Many-Valued Logic
- Place of Presentation
  Massa Lubrense, Italy
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Deducibility and parameterized local deduction theorem in substructural logics2006
- Author(s)
  H. Ono
- Organizer
  Paris-Vienna Workshop on Proof Theor
- Place of Presentation
  University of Paris VII, France
- Year and Date
  2006-06-05
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Embeddings of algebras and their logical consequences2005
- Author(s)
  小野寛晰
- Organizer
  Trends in Logic III
- Place of Presentation
  Warsaw/Ruciane-Nida, Poland
- Year and Date
  2005-09-25
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interpolation property and principle of variable separation in substructural logics,2005
- Author(s)
  小野寛晰
- Organizer
  The 9th Asian Logic Conference
- Place of Presentation
  Novosibirsk, Russia
- Year and Date
  2005-08-18
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Interpolation property and principle of variable separation in substructural logics2005
- Author(s)
  H. Ono
- Organizer
  The 9th Asian Logic Conference
- Place of Presentation
  Novosibirsk. Russia
- Year and Date
  2005-08-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Embeddings of algebras and their logical consequences2005
- Author(s)
  H. Ono
- Organizer
  rends in Logic III
- Place of Presentation
  Warsaw/ Ruciane-Nida, Poland
- Year and Date
  2005-09-25
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109

1. ARIKAWA Setsuo (40037221)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. KANEKO Mamoru (40114061)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. SUZUKI Nobu-yuki (60216421)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
4. SATO Masahiko (20027387)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. KOMORI Yuichi (10022302)

# of Collaborated Projects: 3 results

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

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
7. 石塚満 (50114369)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
8. TOYAMA Yoshihito (00251968)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. TAKANO Mitio (70126423)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. HAYASHI Susumu (40156443)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. SHIMURA Tatsuya (90246835)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 2 results

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

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
20. 篠原武 (60154225)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
21. 原口誠 (40128450)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
22. 丸岡章 (50005427)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
23. コワルスキトマシュ (70303336)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
24. KAKUDA Yuzuru (50031365)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KAMAE Tetsuro (80047258)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. KAMO Sizuo (30128764)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. TSUJI Takashi (70016666)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. HITOTUMATU Shin (10027378)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. NANBA Kanji (40015524)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. AOTO Takahito (00293390)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. ISHIHARA Hajime (10211046)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. MATSUI Akihiko (30272165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. AKIYAMA Eizo (40317300)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. YOSHIDA Masatoshi (00201012)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. HAMANO Masahiro (50313705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. TOJO Satoshi (90272989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
44. YORIOKA Teruyuki (60432192)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
45. GALATOS Nikolaos (70422665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
46. SEKI Takahiro (30380546)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
52. 坂部俊樹 (60111829)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
53. 茨木俊秀 (50026192)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
55. 富樫敦 (20172140)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
56. 佐藤優子 (50081419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
57. 渡辺芳英 (50127742)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
58. 佐藤学 (90178773)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
59. 岩瀬晃盛 (10103079)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
60. 会沢邦夫 (80150895)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
61. 伊藤雅明 (10116535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
62. 久保泉 (70022621)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
63. 桑田正秀 (10144891)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
64. 江口正晃 (30037220)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
65. 板野暢之 (80034544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
66. 水本久夫 (50032917)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
67. 篠田寿一 (30022685)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
68. 田中一之 (70188291)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
69. 高橋譲嗣 (30197149)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
70. 八杉舶満利子 (90022277)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
71. 水谷哲也 (70209758)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
72. 細野千春 (20108294)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
73. 笠井琢美 (70027382)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
76. WOLTER Frank (20272990)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
77. 酒井正彦 (50215597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
78. 畳谷整克 (40272166)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
79. 梶井厚志 (80282325)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
80. 宮崎裕 (40374607)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
81. ボウフェリックス (00397233)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

ONO Hiroakira 小野 寛晰

小野 寛晰

Research Projects

Research Products

Co-Researchers

Advances in Logics by Algebraic MethodsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Substructural Logics and their Algebraic StructuresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

部分構造論理の代数系Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Advances in Nonstandard LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

非標準論理とその情報科学への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applications of Mathematical Logic in Theoretical Computer SciencePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Principal Investigator

ONO Hiroakira 小野寛晰

小野寛晰