グローバルナビゲーションへ

本文へ

ローカルナビゲーションへ

フッターへ




國持 良行


氏名
氏名

國持 良行
Yoshiyuki Kunimochi

所属
所属

情報学部 コンピュータシステム学科

職位
職位

教授

最終学歴
最終学歴

静岡大学大学院 電子科学研究科

学位
学位

博士(情報科学)(デブレツェン大学)

所属学会
所属学会

電子情報通信学会、情報処理学会、ソフトウェア科学会

専門分野
専門分野

計算機科学

研究テーマ
研究テーマ

計算機科学

研究業績
研究業績

(1) 代数的符号理論において,Petri netの生成するprefix codeの形式言語的性質を明らかにした. (2) グラフ間の準同型写像を定義して,準同型に順序を導入し,それらが構成する束の性質を明らかにした. (3) 関数型言語の並列処理系をグラフリダクションマシンを使った実現法を提案した.

担当科目
担当科目

論文

  • ペトリネットが生成する極大プレフィクスコードの性質について
  • Remarks on extractable submonoid

著書

  • 情報数学の基礎

学会発表

  • Algebraic Properties of Petri Net Morphisms based on Place Connectivity
  • On Automorphism Groups of Petri Nets Based on Place Connectivity

学外発表