Mizoguchi Yoshihiro 溝口佳寛

… Alternative Names

MIZOGUCHI Yoshihiro 溝口佳寛

溝口佳寛ミゾグチヨシヒロ

Less

Researcher Number	80209783
Other IDs
Affiliation (Current)	2025: 九州大学, マス・フォア・インダストリ研究所, 教授
Affiliation (based on the past Project Information) *help	2017 – 2024: 九州大学, マス・フォア・インダストリ研究所, 教授 2013 – 2015: 九州大学, マス・フォア・インダストリ研究所, 准教授 2013: 九州大学, マスフォアインダストリ研究所, 准教授 2008: 九州大学, 院理数学院, 准教授 2007: KYUSHU UNIVERSITY, Faculty of Mathematics, Associate Professor … More 2006: 九州大学, 大学院システム情報科学研究院, 助教授 2002 – 2006: 九州大学, 大学院・数理学研究院, 助教授 1999 – 2000: 九州工業大学, 情報工学部, 助教授 1996: 九州工業大学, 情報工学部, 助教授 1993 – 1994: 九州工業大学, 情報工学部, 助教授 1991 – 1992: 九州工業大学, 情報工学部, 講師 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Foundations of mathematics/Applied mathematics Except Principal Investigator Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 12030:Basic mathematics-related / Communication/Network engineering / Fundamental theory of informatics / 情報通信工学 / Intelligent informatics / 水工水理学 / Science and Engineering / Intelligent informatics
Keywords	Principal Investigator グラフアルゴリズム / グラフ変換 / Coq / 形式証明 / 数理論理学 / カテゴリー論 / ネットワーク / 数学基礎論 / ファジィ関係データベース / 情報数理 … More / パターン生成 / Wangタイル / 圏論のモナドの形式化 / モデル検査 / 形式手法 / 関係計算 / Mizar / Isabelle / 有限オートマトン / 定理証明器 / 証明支援系 / 定理証明検証 / 計算理論 / 離散数学 / ソフトウェア検証 / 検証可能証明 / 数学の形式化 / グラフ文法 … More Except Principal Investigator Coq / 帰納推論 / グラフ構造データ / グラフアルゴリズム / グラフパターン / 機械学習 / 連想記憶モデル / プログラム検証 / 確率的プログラミング / 数学の形式化 / 形式検証 / universal logic / algebraic specification / proof theory / model theory / omitting types theorem / Robinson Consistency / stratified institutions / dynamic logics / hybrid logics / reconfiguration paradigm / interpolation / omitting types / compactness / completeness / forcing / institution / dynamic logic / hybrid logic / 疎 / 型理論 / ssreflect / 密度発展法 / モダン符号 / マスデジタリゼーション / モダン符号理論 / 空間結合ＬＤＰＣ符号 / ＬＤＰＣ符号 / 誤り訂正符号 / LDPC符号 / 符号理論 / 情報理論 / 形式化 / Graph algorithms / Graph-structured data / Tree-structured data / Graph grammar / Graph-structured patterns / Inductive inference / Computational learning theory / Learning of graph languages / 木構造データ / グラフ文法 / 計算論的学習 / グラフの学習 / simulator capture / traffic control of telecommunication / metabolic pathway / fault-tolerant / development of functional device / network topology / シミュレータ / 輻輳制御 / 代謝ネットワーク / フォルトトレラント / 機能素子開発 / ネットワークトポロジー / 機械発見 / データマイニング / グラフマイニング / 土砂災害危険度マップ / 砂災害危険度マップ / インターネットラジオ / 降水レーダ / 防災無線ネット / 土石流発生限界降雨 / 防災情報システム / セルラオートマトン / 詰め込み問題 / 発見的アルゴリズム / エネルギー障壁問題 / 分子形態変化 / タイリング / 配列設計 / ランダムウォーク / 分散計算 / 分子計算 / 低周波成分 / 高周波成分 / 画像圧縮 / ウェーブレット / 最小化問題 / 最急降下法 / 引き込み領域 / 縮小写像型ニューラルネットワーク / 情報圧縮 / パターン照合アルゴリズム / テキストデータベース / 高速化 / Huffman符号 / 情報検索 / デ-タ圧縮 / ゲノム解析 / 塩基配列デ-タベ-ス / DNA / 文字列パタ-ン照合 Less

Formal Foundations for Verification of Physical and Probabilistic Systems
- Principal Investigator
  
  Affeldt Reynald
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Mathematical foundations for the reconfiguration paradigm
- Principal Investigator
  
  Gaina Daniel
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Kyushu University
Theory of relational calculus for formal verification of mathematics and software programs.Principal Investigator
- Principal Investigator
  
  Mizoguchi Yoshihiro
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyushu University
Toward a formal proofs and automated verifications of discrete mathematicsPrincipal Investigator
- Principal Investigator
  
  MIZOGUCHI Yoshihiro
- Project Period (FY)
  2013 – 2014
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Kyushu University
Formalization on Modern Coding Theory
- Principal Investigator
  
  Hagiwara Manabu
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Communication/Network engineering
- Research Institution
  Chiba University
Design and Analysis of Efficient Class-oriented Graph Mining Systems
- Principal Investigator
  
  SHOUDAI Takayoshi
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu University
Develoepement a next generation of system for Prediction and Warning of Debris Flow and Landslide and its Application using Precipitation Radar
- Principal Investigator
  
  MORIYAMA Toshiyuki
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  水工水理学
- Research Institution
  Sojo University
Polynomial Time Algorithms for Learning Graph Structured Pattern Languages and its Applications
- Principal Investigator
  
  SHOUDAI Takayoshi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Kyushu University
自律的分散型計算としての分子計算
- Principal Investigator
  
  山下雅史
- Project Period (FY)
  2002 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Kyushu University
グラフ変換を用いた計算の単位の定式化と計算量理論の再構築Principal Investigator
- Principal Investigator
  
  溝口佳寛
- Project Period (FY)
  2002
- Research Category
  
  Grant-in-Aid for Exploratory Research
- Research Field
  
  計算機科学
- Research Institution
  Kyushu University
Investigation of Intelligent Network Topology by Mimicking the Fault-tolerant Network Structure of Metabolic Pathways
- Principal Investigator
  
  OKAMOTO Masahiro
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  情報通信工学
- Research Institution
  Kyushu Institute of Technology
ネットワーク量を計算する並列アルゴリズムに関する研究Principal Investigator
- Principal Investigator
  
  溝口佳寛
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu Institute of Technology
ウェーブレット解析による画像圧縮と連想記憶モデルによる圧縮画像の高速認識
- Principal Investigator
  
  新島耕一
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Kyushu Institute of Technology
ゲノムデータ解析用の高速ニューラルネットワークの研究
- Principal Investigator
  
  新島耕一
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu Institute of Technology
グラフ書き換え系のネットワーク不変量計算への応用に関する研究Principal Investigator
- Principal Investigator
  
  溝口佳寛
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyushu Institute of Technology
塩基配列用の高速パターン照合アルゴリズムの研究
- Principal Investigator
  
  篠原武
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu Institute of Technology
塩基配列用の高速パタ-ン照合アルゴリズムの研究
- Principal Investigator
  
  篠原武
- Project Period (FY)
  1991
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Research Institution
  Kyushu Institute of Technology

All 2024 2019 2018 2017 2016 2015 2014 2013 2006 2005 Other

All Journal Article Presentation

[Journal Article] RELATIONAL CALCULUS AS A FORMAL SYSTEM2024
- Author(s)
  Furusawa Hitoshi、Ishida Toshikazu、Kawahara Yasuo、Mizoguchi Yoshihiro
- Journal Title
  
  Bulletin of informatics and cybernetics
  
  Volume: 56 Issue: 2 Pages: 1-22
- DOI
  10.5109/7170241
- ISSN
  0286-522X, 2435-743X
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22H00520
[Journal Article] A linear algorithm for Brick Wang tiling2019
- Author(s)
  Derouet-Jourdan, A., Kaji, S. & Mizoguchi, Y.
- Journal Title
  
  Japan J. Indust. Appl. Math.
  
  Volume: 36 Issue: 3 Pages: 749-761
- DOI
  10.1007/s13160-019-00369-z
- NAID
  210000187413
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K05346
[Journal Article] Class dependency of fuzzy relational database using relational calculus and conditional probability2018
- Author(s)
  M.D.Akbar Y.Mizoguchi, Adiwijaya
- Journal Title
  
  Journal of Phyusics: Conf. Ser.
  
  Volume: 971 Pages: 012001-012001
- DOI
  10.1088/1742-6596/971/1/012001
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05346
[Journal Article] 論理と計算について考えた人たち, 数学セミナー, 2019年1月号, pp.57-61, 2018.12.2018
- Author(s)
  溝口佳寛
- Journal Title
  
  数学セミナー
  
  Volume: 58 Pages: 57-61
- Data Source
  KAKENHI-PROJECT-17K05346
[Journal Article] A Property of Random Walks on a Cycle Graph2015
- Author(s)
  Y.Ikeda, Y.Fukai, Y.Mizoguchi
- Journal Title
  
  Pacific Journal of Mathematics for Industry
  
  Volume: 印刷中
- NAID
  40020727637
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25610034
[Journal Article] A Property of Random Walks on a Cycle Graph2015
- Author(s)
  Y.Ikeda, Y.Fukai, Y.Mizoguchi
- Journal Title
  
  Pacific Journal of Mathematics for Industry
  
  Volume: 7 Issue: 1
- DOI
  10.1186/s40736-015-0015-3
- NAID
  40020727637
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Uniqueness of Buston Hadamard matrices of small degrees2015
- Author(s)
  M.Hirasaka, K.Kim, Y.Mizoguchi
- Journal Title
  
  Journal of Discrete Algorithms
  
  Volume: 34 Pages: 70-77
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25289118
[Journal Article] Theory of Automata, Abstraction and Applications2014
- Author(s)
  Y.Mizoguchi
- Journal Title
  
  A Mathematical Approach to Research Problems of Science and Technology, Mathematis for Industry
  
  Volume: 5 Pages: 337-348
- Data Source
  KAKENHI-PROJECT-25610034
[Journal Article] Formal Proofs for Automata and Sticker Systems2014
- Author(s)
  H.Tanaka, I.Sakashita, S.Inokuchi, Y.Mizoguchi
- Journal Title
  
  Proc. of 1st International Workshop on Computing and Networking
  
  Volume: 1 Pages: 563-566
- DOI
  10.1109/candar.2013.100
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25610034
[Journal Article] A formulation of Composition for Cellular Automata on Groups2014
- Author(s)
  S.Inokuchi, T.Ito, M.Fujio, Y.Mizoguchi
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E97-D(3) Pages: 448-454
- NAID
  130003394860
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25610034
[Journal Article] ケプラー予想の計算機による証明と検証について2014
- Author(s)
  溝口佳寛, 田上真
- Journal Title
  
  数学セミナー
  
  Volume: 12月号 Pages: 48-54
- NAID
  40020260734
- Data Source
  KAKENHI-PROJECT-25610034
[Journal Article] The number of orbits of periodic box-ball systems2006
- Author(s)
  A.Mikoda, S.Inokuchi, Y.Mizoguchi, M.Fujio
- Journal Title
  
  Lecture Notes in Computer Science 4135
  
  Pages: 181-194
- NAID
  120006654339
- Data Source
  KAKENHI-PROJECT-14085204
[Journal Article] The number of orbits of periodic box-ball systems2005
- Author(s)
  Mikoda, A., Inokuchi, S., Mizoguchi, Y.
- Journal Title
  
  応用数学合同研究集会報告集
  
  Pages: 63-66
- NAID
  120006654339
- Data Source
  KAKENHI-PROJECT-14085204
[Journal Article] Statistical properties of a quantum cellular automaton2005
- Author(s)
  N.Inui, S.Inokuchi, Y.Mizoguchi, N.Konno
- Journal Title
  
  Physical Review A 72
  
  Pages: 32323-32323
- Data Source
  KAKENHI-PROJECT-14085204
[Journal Article] Tagged Choice Graph Transformations2005
- Author(s)
  Y.Mizoguchi, W.Kahl
- Journal Title
  
  Preproceedings of the 11th International Meeting on DNA Computing, DNA11
  
  Pages: 405-405
- Data Source
  KAKENHI-PROJECT-14085204
[Journal Article] On reversible cellular automata with finite cell array2005
- Author(s)
  S.Inokuchi, K.Honda, H.Lee, T.Sato, Y.Mizoguchi, Y.Kawahara
- Journal Title
  
  Proc.4th International Conference on Unconventional Computation, LNCS 3699
  
  Pages: 130-141
- Data Source
  KAKENHI-PROJECT-14085204
[Presentation] Relational T-algebra and the category of topological spaces2018
- Author(s)
  Y. Mizoguchi
- Organizer
  Workshop on Logic, Algebra and Category Theory: LAC2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05346
[Presentation] 位相空間の圏と同型な関係T代数の圏について2018
- Author(s)
  阿川真士, 溝口佳寛
- Organizer
  日本数学会2018年度年会
- Data Source
  KAKENHI-PROJECT-17K05346
[Presentation] Formal Equivalence Classes Model of Fuzzy Relational Databases Using Relational Calculus2017
- Author(s)
  M.D.Akbar, Y.Mizoguchi
- Organizer
  International Conference on Applied Computer and Communication Technologies (ComCom)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05346
[Presentation] Class dependency of fuzzy relational database using relational calculus and conditional probability2017
- Author(s)
  M.D.Akbar Y.Mizoguchi, Adiwijaya
- Organizer
  The Internatiaonal Conference on Data and Information Science, ICoDIS2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K05346
[Presentation] A Mathematica module for Conformal Geometric Algebra and Origami Folding2016
- Author(s)
  M.Kondo, T.Matsuo, Y.Mizoguchi, H.Ochiai,
- Organizer
  SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
- Place of Presentation
  お茶の水女子大学（東京都・文京区）
- Year and Date
  2016-03-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] Workshop on Formalization of Applied Mathematical Systems2016
- Author(s)
  T.Matsushima, Y.Mizoguchi, A.D.Jourdan
- Organizer
  SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
- Place of Presentation
  お茶の水女子大学（東京都・文京区）
- Year and Date
  2016-03-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] A Coq Library for the Theory of Realational Calculus2015
- Author(s)
  Y.Mizoguchi
- Organizer
  Workshop on Formalization of Applied Mathematical Systems
- Place of Presentation
  Honolulu （米国）
- Year and Date
  2015-09-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] Wang Tiles Modeling of Wall Patterns2015
- Author(s)
  A.D.Jourdan, Y.Mizoguchi and M.Salvati
- Organizer
  Mathematical Progress in Expressive Image Systems (MEIS2015)
- Place of Presentation
  九州大学（福岡県福岡市）
- Year and Date
  2015-09-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25289118
[Presentation] Fuzzy Relational Database Model Using Relational Calculus,2014
- Author(s)
  M.D.Akbar, Y.Mizoguchi
- Organizer
  7th International Conference on Soft Computing and Intelligent Systems
- Place of Presentation
  北九州市
- Year and Date
  2014-12-03
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] ケプラー予想の計算機による証明と検証について2014
- Author(s)
  溝口佳寛
- Organizer
  九州数学教育会第4回算数・数学教育研修会
- Place of Presentation
  福岡市
- Year and Date
  2014-12-07
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] 有限オートマトンとスティッカー系に関するCoqによる形式証明について2014
- Author(s)
  溝口佳寛,田中久治,坂下一生,井口修一
- Organizer
  日本数学会2014年度年会
- Place of Presentation
  学習院大学
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] 有限オートマトンとスティッカー系に関する Coq による形式証明について2014
- Author(s)
  溝口佳寛, 田中久治, 坂下一生, 井口修一
- Organizer
  日本数学会2014年度年会
- Place of Presentation
  学習院大学目白キャンパス
- Data Source
  KAKENHI-PROJECT-23500182
[Presentation] Formal Proofs for Automata and Sticker Systems2013
- Author(s)
  H.Tanaka, I.Sakashita, S.Inokuchi, Y.Mizoguchi
- Organizer
  1st International Workshop on Computing and Networking
- Place of Presentation
  Ehime, Japan.
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] グラフ上の追跡戦略と回避戦略2013
- Author(s)
  池田有希,溝口佳寛
- Organizer
  情報処理学会ネットワーク生態学研究会第10回シンポジウム
- Place of Presentation
  かんぽの宿有馬
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] Mathematical Aspects of Interpolation Technique for Computer Graphics
- Author(s)
  Y.Mizoguchi
- Organizer
  Kick-off Meeting of IMI Australia Branch in La Trobe
- Place of Presentation
  La Trobe University, Australia
- Year and Date
  2015-03-12 – 2015-03-13
- Invited
- Data Source
  KAKENHI-PROJECT-25610034
[Presentation] Coqチュートリアル
- Author(s)
  溝口佳寛
- Organizer
  ウィンタースクール「数学ソフトウェア・チュートリアル」
- Place of Presentation
  九州大学
- Year and Date
  2015-02-18 – 2015-02-19
- Invited
- Data Source
  KAKENHI-PROJECT-25610034

1. 篠原武 (60154225)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
2. 下薗真一 (70243988)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. 新島耕一 (30047881)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. NAKAKITA Eiichi (70183506)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MUSASHI Yasuo (10271131)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. OGAWA Shigeru (30037973)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. HIKIDA Makoto (90044619)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. SHOUDAI Takayoshi (50226304)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. UCHIDA Tomoyuki (70264934)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. Reynald Affeldt (40415641)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. Garrigue Jacques (80273530)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. 才川隆文 (00897100)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. MORIYAMA Toshiyuki (50136537)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. USHIYAMA Motoyuki (80324705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. TAKAHASHI Kazuo (30039680)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. HARADA Kazunori (70331072)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. OKAMOTO Masahiro (40211122)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. YAMAKAWA Takeshi (00005547)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. OIE Yuji (50167293)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. MIYAHARA Tetsuhiro (90209932)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. MARUYAMA Osamu (20282519)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. Hagiwara Manabu (80415728)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. KASAI Kenta (70431997)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. KUZUOKA Shigeaki (60452538)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. Gaina Daniel (80595778)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 山下雅史 (00135419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 横尾真 (20380678)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 定兼邦彦 (20323090)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 朝廣雄一 (40304761)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 貞廣泰造 (00280454)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. 櫻井幸一 (60264066)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. 藤田聡 (40228995)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. 久原哲 (00153320)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. 勝股審也 (30378963)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. 中野圭介 (30505839)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. EGUCHI Yukihiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. OBI Ryosuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. NAKANO Kyosuke

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. NATION James B.

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. GAARUGUE Jacques

# of Collaborated Projects: 0 results

# of Collaborated Products: 2 results

Mizoguchi Yoshihiro 溝口 佳寛

MIZOGUCHI Yoshihiro 溝口 佳寛

溝口 佳寛 ミゾグチ ヨシヒロ

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory of relational calculus for formal verification of mathematics and software programs.Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Toward a formal proofs and automated verifications of discrete mathematicsPrincipal 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 Field

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

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 Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Institution

グラフ書き換え系のネットワーク不変量計算への応用に関する研究Principal Investigator

Mizoguchi Yoshihiro 溝口佳寛

MIZOGUCHI Yoshihiro 溝口佳寛

溝口佳寛ミゾグチヨシヒロ