溝口佳寛 Mizoguchi Yoshihiro

研究者番号	80209783
その他のID
所属 (現在)	2025年度: 九州大学, マス・フォア・インダストリ研究所, 教授
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2024年度: 九州大学, マス・フォア・インダストリ研究所, 教授 2013年度 – 2015年度: 九州大学, マス・フォア・インダストリ研究所, 准教授 2013年度: 九州大学, マスフォアインダストリ研究所, 准教授 2008年度: 九州大学, 院理数学院, 准教授 2007年度: 九州大学, 大学院・数理学研究院, 准教授 … もっと見る 2006年度: 九州大学, 大学院システム情報科学研究院, 助教授 2002年度 – 2006年度: 九州大学, 大学院・数理学研究院, 助教授 1999年度 – 2000年度: 九州工業大学, 情報工学部, 助教授 1996年度: 九州工業大学, 情報工学部, 助教授 1993年度 – 1994年度: 九州工業大学, 情報工学部, 助教授 1991年度 – 1992年度: 九州工業大学, 情報工学部, 講師隠す
審査区分/研究分野	研究代表者計算機科学 / 数学基礎・応用数学研究代表者以外中区分60:情報科学、情報工学およびその関連分野 / 小区分12030:数学基礎関連 / 通信・ネットワーク工学 / 情報学基礎 / 情報通信工学 / 知能情報学 / 水工水理学 / 理工系 / 知能情報学
キーワード	研究代表者グラフアルゴリズム / グラフ変換 / Coq / 形式証明 / 数理論理学 / カテゴリー論 / ネットワーク / 数学基礎論 / ファジィ関係データベース / 情報数理 … もっと見る / パターン生成 / Wangタイル / 圏論のモナドの形式化 / モデル検査 / 形式手法 / 関係計算 / Mizar / Isabelle / 有限オートマトン / 定理証明器 / 証明支援系 / 定理証明検証 / 計算理論 / 離散数学 / ソフトウェア検証 / 検証可能証明 / 数学の形式化 / グラフ文法 … もっと見る研究代表者以外 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 / 文字列パタ-ン照合隠す

物理的・確率的システムの検証を支える形式的基盤の構築
- 研究代表者
  
  Affeldt Reynald
- 研究期間 (年度)
  2022 – 2025
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  国立研究開発法人産業技術総合研究所
Mathematical foundations for the reconfiguration paradigm
- 研究代表者
  
  GAINA Daniel
- 研究期間 (年度)
  2020 – 2023
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分12030:数学基礎関連
- 研究機関
  九州大学
関係計算の形式化を用いた数学とソフトウェア検証のための理論構築研究代表者
- 研究代表者
  
  溝口佳寛
- 研究期間 (年度)
  2017 – 2019
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
離散構造体の計算理論に関する形式的証明と自動検証研究代表者
- 研究代表者
  
  溝口佳寛
- 研究期間 (年度)
  2013 – 2014
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  数学基礎・応用数学
- 研究機関
  九州大学
モダン符号の形式化
- 研究代表者
  
  萩原学
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  通信・ネットワーク工学
- 研究機関
  千葉大学
クラス指向グラフパターン設計手法の開発とグラフマイニングへの応用
- 研究代表者
  
  正代隆義
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  九州大学
降水レーダを用いた次世代土砂災害予警報システムの構築とその応用
- 研究代表者
  
  森山聡之
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  水工水理学
- 研究機関
  崇城大学
グラフ言語の多項式時間学習アルゴリズムとその応用
- 研究代表者
  
  正代隆義
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  九州大学
自律的分散型計算としての分子計算
- 研究代表者
  
  山下雅史
- 研究期間 (年度)
  2002 – 2006
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  九州大学
グラフ変換を用いた計算の単位の定式化と計算量理論の再構築研究代表者
- 研究代表者
  
  溝口佳寛
- 研究期間 (年度)
  2002
- 研究種目
  
  萌芽研究
- 研究分野
  
  計算機科学
- 研究機関
  九州大学
生命の情報通信機能の解明と生命型情報通信ネットワークの構造デザイン
- 研究代表者
  
  岡本正宏
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報通信工学
- 研究機関
  九州工業大学
ネットワーク量を計算する並列アルゴリズムに関する研究研究代表者
- 研究代表者
  
  溝口佳寛
- 研究期間 (年度)
  1996
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州工業大学
ウェーブレット解析による画像圧縮と連想記憶モデルによる圧縮画像の高速認識
- 研究代表者
  
  新島耕一
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  九州工業大学
ゲノムデータ解析用の高速ニューラルネットワークの研究
- 研究代表者
  
  新島耕一
- 研究期間 (年度)
  1993
- 研究種目
  
  重点領域研究
- 研究機関
  九州工業大学
グラフ書き換え系のネットワーク不変量計算への応用に関する研究研究代表者
- 研究代表者
  
  溝口佳寛
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  九州工業大学
塩基配列用の高速パターン照合アルゴリズムの研究
- 研究代表者
  
  篠原武
- 研究期間 (年度)
  1992 – 1994
- 研究種目
  
  重点領域研究
- 研究機関
  九州工業大学
塩基配列用の高速パタ-ン照合アルゴリズムの研究
- 研究代表者
  
  篠原武
- 研究期間 (年度)
  1991
- 研究種目
  
  重点領域研究
- 研究機関
  九州工業大学

すべて 2024 2019 2018 2017 2016 2015 2014 2013 2006 2005 その他

すべて雑誌論文学会発表

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

1. 篠原武 (60154225)

共同の研究課題数: 3件

共同の研究成果数: 0件
2. 下薗真一 (70243988)

共同の研究課題数: 3件

共同の研究成果数: 0件
3. 新島耕一 (30047881)

共同の研究課題数: 3件

共同の研究成果数: 0件
4. 中北栄一 (70183506)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 武蔵泰雄 (10271131)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 小川滋 (30037973)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 疋田誠 (90044619)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 正代隆義 (50226304)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 内田智之 (70264934)

共同の研究課題数: 2件

共同の研究成果数: 0件
10. AFFELDT Reynald (40415641)

共同の研究課題数: 2件

共同の研究成果数: 0件
11. J Garrigue (80273530)

共同の研究課題数: 2件

共同の研究成果数: 0件
12. 才川隆文 (00897100)

共同の研究課題数: 2件

共同の研究成果数: 0件
13. 森山聡之 (50136537)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 牛山素行 (80324705)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 高橋和雄 (30039680)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 原田和典 (70331072)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 岡本正宏 (40211122)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 山川烈 (00005547)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 尾家祐二 (50167293)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 宮原哲浩 (90209932)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 丸山修 (20282519)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 萩原学 (80415728)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. 笠井健太 (70431997)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 葛岡成晃 (60452538)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. GAINA Daniel (80595778)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 山下雅史 (00135419)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 横尾真 (20380678)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 定兼邦彦 (20323090)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 朝廣雄一 (40304761)

共同の研究課題数: 1件

共同の研究成果数: 0件
30. 貞廣泰造 (00280454)

共同の研究課題数: 1件

共同の研究成果数: 0件
31. 櫻井幸一 (60264066)

共同の研究課題数: 1件

共同の研究成果数: 0件
32. 藤田聡 (40228995)

共同の研究課題数: 1件

共同の研究成果数: 0件
33. 久原哲 (00153320)

共同の研究課題数: 1件

共同の研究成果数: 0件
34. 勝股審也 (30378963)

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 中野圭介 (30505839)

共同の研究課題数: 1件

共同の研究成果数: 0件
36. 江口至洋

共同の研究課題数: 1件

共同の研究成果数: 0件
37. 小尾良介

共同の研究課題数: 1件

共同の研究成果数: 0件
38. 中野恭輔

共同の研究課題数: 1件

共同の研究成果数: 0件
39. NATION James B.

共同の研究課題数: 1件

共同の研究成果数: 0件
40. GAARUGUE Jacques

共同の研究課題数: 0件

共同の研究成果数: 2件

溝口 佳寛 Mizoguchi Yoshihiro

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

関係計算の形式化を用いた数学とソフトウェア検証のための理論構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

離散構造体の計算理論に関する形式的証明と自動検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

グラフ変換を用いた計算の単位の定式化と計算量理論の再構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ネットワーク量を計算する並列アルゴリズムに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究機関

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

研究代表者

研究期間 (年度)

溝口佳寛 Mizoguchi Yoshihiro