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

小野寛晰