- Yoshihiro Mizoguchi
was born in Fukuoka on June 20, 1960. He received B.S. in 1983, the M.S. 1985 in Mathematics and the Dr. Sci. in 1992 in Information Systems from Kyushu University. Presently, he is a professor of Institute of Mathematics for Industry, Kyushu University at Fukuoka. His research interests are theoretical aspects in computer science, including logic of programming language, cellular automata, computer graphics, category theories and network securities. 

-- [[Papers]]
-- [[Read & Research Map>http://researchmap.jp/yoshihiro/]] 
-- Projects / Seminars
--- [[PMF2016:http://pnumathforum.modoo.at/?link=581p01la]] (Pusan National University MATH FORUM 2016)
--- [[TPP2016:http://pllab.is.ocha.ac.jp/~asai/tpp2016/]] (12th Theorem Proving and Provers)
--- [[ISITA2016:http://www.isita.ieice.org/2016/index.html]] (International Symposium on Information Theory and Its Applications)
--- [[COA2016:http://www.cse.chalmers.se/~laurako/links/COA.html]] (Computational Origami and Applications)
--- [[USMaC2016:http://usmac.ltumathstats.com/home]] (Universal Structure in Mathematics and Computing]]
--- [[USMaC2016:http://usmac.ltumathstats.com/home]] (Universal Structure in Mathematics and Computing
--- [[SCSS2016:http://www.i-eos.org/conferences/SCSS2016/]] (Symbolic Computation in Software Science)
--- [[FMfI2015:http://fmi2015.imi.kyushu-u.ac.jp/]] (Forum "Math-for-Industry")
--- [[TPP2014:http://imi.kyushu-u.ac.jp/lasm/tpp2014/]] (Theorem Proving and Provers Meeting) ~
&ref(Announcement2.pdf);
--- [[MCG:http://mcg.imi.kyushu-u.ac.jp/]] (Mathematics for Computer Graphics)
--- [[ALGI:http://sakura.math.kyushu-u.ac.jp/algi/]] (Algebra, Logic and Geometry in Informatics)
--- [[LC:http://sakura.math.kyushu-u.ac.jp/wiki/?Seminar]] (Logic and Computation)
--- [[Comb:http://comb.math.kyushu-u.ac.jp/]] (Combinatorics)
--- [[APCMfI:http://apcmfi.org/]] (Asia Pacific Consortium of Mathematics for Industry)

-- Journals
--- [[BIC:http://bic.math.kyushu-u.ac.jp/]] (Bulletin of Informatics and Cybernetics)
--- [[PJMfI:http://www.springer.com/mathematics/applications/journal/40736]] (Pacific Journal of Mathematics for Industry)
--- [[MATEMATIKA:http://www.matematika.utm.my/index.php/matematika/index]] (Malaysian Journal of Industrial and Applied Mathematics)
--- [[AROB>http://isarob.org/journal/]] (Artificial Life and Robotics)
--- [[IJAEM>http://www.graphyonline.com/journal/journal_home.php?journalid=IJAEM]] (International Journal of Applied & Experimental Mathematics)

-- [[Links:http://www2.math.kyushu-u.ac.jp/~ym/org/links]] / Past
--- [[SlideShare:http://www.slideshare.net/yoshihiromizoguchi/]] (My presentation slides)
--- [[MoCo:http://tcslab.csce.kyushu-u.ac.jp/bunshi/]] (Molecular Computing)
--- [[Edu:http://www.mext.go.jp/component/a_menu/science/detail/__icsFiles/afieldfile/2010/12/22/1300741_013.pdf]] (Science Education)
--- [[QCA:http://qca.jp/]] (Quantum Cellular Automata)

- [[Researcher Information:http://hyoka.ofc.kyushu-u.ac.jp/search/details/K002201/english.html]] (Kyushu University)

- [[溝口佳寛 研究者情報:http://hyoka.ofc.kyushu-u.ac.jp/search/details/K002201/index.html]] (九州大学)
~
~
計算について論理的・数学的に考察する研究を行っています. 1930年代 Alan Turingは ~
「チューリング機械」と呼ばれる形式的な計算モデルを構成し, 計算可能性, 万能性に関する ~
計算理論の礎を築きました. 数の計算の実現に計算モデルのテープ上に記述された&color(red){文字列};が ~
重要な役割を果たしました. 計算モデル「有限オートマトン」の研究では1950年代に入り ~
&color(red){文字列集合};の認識機械としての考察が始まり言語との重要な関係が導かれました. ~
その後, &color(red){形式言語};の研究は「自然言語の機械翻訳」「文献データベース」「人工知能」などの ~
研究へと発展しています. ~
数学(代数学)は「群」「環」「体」などの一種の集合上の演算を持つ代数系を対象とします.  ~
代数系は&color(red){モナド};と呼ばれる圏の間の関手たちにより多種の集合間の関数を演算として持つ ~
系に一般化されます. &color(red){多種代数系};は「スタック」「木」「グラフ」などのプログラミングに ~
必要なデータ構造を含みますので, 多種代数系やモナドの研究成果は計算の性質を考察する ~
ための強力な武器になります. ~
近年の計算機の発展と普及により, 社会システムは計算機(プログラム)にますます依存して ~
来ています. システムに要求される&color(red){仕様};を&color(red){プログラム};で実現し計算機で実行します. プログ ~
ラムが仕様を正しく実現していることは, 数理論理学において&color(red){証明};が&color(red){定理};を正しく導いてい ~
ることに対応します. 論理的に誤りがないプログラムのための仕様記述, 開発, 検証の技術は ~
&color(red){形式手法};と呼ばれます. 証券取引, 交通網, 航空宇宙工学, マイクロプロセッサなどプログラ ~
ムの誤りにより多大な損失が生じるシステムに形式手法は活用されています. ~
最近は論理的・数学的な考察そのものにも計算機が利用され, 形式手法のための数学理論の ~
構築と実現がますます重要になっています. 数の取り扱いのための文字列の研究のように,  ~
計算に必要な&color(red){数学概念の計算モデル};の研究を続けています. 最近では, デジタル映像分野に ~
おける計算のための新しい計算モデルも模索しています. ~
~
- リンク:
-- [[論理と計算>http://sakura.math.kyushu-u.ac.jp/wiki/]] (研究室HP)
-- Myブログ: [[伊都の地階から>http://logic.math.kyushu-u.ac.jp/wiki/people/x272_1/blog]]
-- My software: [[Github Repository>https://github.com/ymizoguchi]]
-- 九州大学[[マス・フォア・インダストリ研究所>http://www.imi.kyushu-u.ac.jp/]]
-- 九州大学[[数理学研究院/数理学府>http://www.math.kyushu-u.ac.jp/]]
-- [[Mathematics Genealogy Project>http://www.genealogy.math.ndsu.nodak.edu/id.php?id=166800]]
-- [[Google Scholar>http://scholar.google.com/citations?user=5o2b2D8AAAAJ]]
-- [[九州大学レポジトリ>https://qir.kyushu-u.ac.jp/dspace/handle/2324/25293]] (数学理論先進ソフトウェア開発室)

  Yoshihiro Mizoguchi
  Institute of Mathematics for Industry,
  Kyushu University,
  Fukuoka JAPAN, 812-8581
  Fax. +81-92-642-2779
  Email. ym @ imi.kyushu-u.ac.jp
  GPS: 33.59522N (33°35'42"), 130.21973E (130°13'11")
  Fingerprint: AB:A1:20:C8:F8:89:5B:5A:20:90:74:20:20:CB:F5:C6 (MD5)

- [[Curriculum Vitae (Yoshihiro Mizoguchi)>CV]]
- [[Google Maps (Kyushu University)>Maps]]
- [[Theoretical Computer Science (wikipedia)>http://en.wikipedia.org/wiki/Theoretical_computer_science]]
#counter(total)
~
~
~
~
~
[[*>内部資料]]

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS