研究者
J-GLOBAL ID:200901044229847002
更新日: 2024年01月31日
辻 孝吉
TSUJI Kohkichi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
所属機関・部署:
愛知県立大学 情報科学部 情報科学科
愛知県立大学 情報科学部 情報科学科 について
「愛知県立大学 情報科学部 情報科学科」ですべてを検索
機関情報を見る
職名:
教授
ホームページURL (1件):
http://www.ist.aichi-pu.ac.jp/~tsuji/
研究分野 (3件):
制御、システム工学
, 知能情報学
, 情報学基礎論
研究キーワード (6件):
計算機科学
, システム工学
, 知能情報学
, Computer Science
, System Engineering
, Intelligent Informelics
競争的資金等の研究課題 (12件):
2002 - 2004 量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究
1999 - 2000 自律分散型ネットモデルによる大規模情報処理システムの系統的解析・設計に関する研究
1996 - 1997 ペトリネットモデルを用いた大規模生産システムの系統的解析・設計に関する研究
1995 - 1995 ペトリネットを用いた大規模生産システムの系統的解析・設計に関する研究
1993 - 1993 時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究
1992 - 1992 時間付きペトリネットモデルを用いたシーケンス制御系の系統的設計に関する研究
1991 - 1992 離散事象システムにおける制御系列の自動生成の研究
1991 - 1991 時間付ペトリネットモデルを用いたシーケンス制御系の設計に関する研究
1990 - 1990 時間付ペトリネットモデルによるシーケンス制御系の設計に関する研究
1989 - 1989 時間付ペトリネットを用いたシーケンス制御系の設計に関する研究
コンカレントシステムに関する研究
Study on Concurrent Systems
全件表示
論文 (79件):
A. Ohta, K. TSUJI. Response property for bounded acyclic Petri net is co-NP complete. SICE Annual Conference 2018. 2018
Masashi Okamoto, Atsushi Ohta, Kohkichi Tsuji. Improvement of Error Reduction in Fluidification of Generalized Stochastic Petri Net. 2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE). 2017. 2017. SICE. 157-159
A. Ohta, K. TSUJI. Colored Petri Net Simulation of Traffic at a Crossing Considering Pedestrians -A Case Study-. ITC-CSCC 2017. 2017. 247-250
P. T. Lam, A. Ohta, K. Tsuji. Enumerating Minimal Siphons of Petri Net using SAT Solver. ITC-CSCC 2016. 2016. 117-120
N. V. Kien, A. Ohta, K. Tsuji. Error Reduction in Fluidification of Generalized Stochastic Petri Net. SICE Annual Conference 2016. 2016. 1128-1131
もっと見る
MISC (134件):
Nakanishi Junichiro, Ohta Atsushi, Tsuji Kohkichi. 色付きPetriネットによるGroverアルゴリズムのモデリング【JST・京大機械翻訳】. IEEE Conference Proceedings. 2021. 2021. ITC-CSCC
深谷祐紀, 太田淳, 辻孝吉. 有界なペトリネットのサブクラスに関する状態数計算問題の複雑さ. 計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM). 2016. 2016. ROMBUNNO.GS05-3
水野翔太, 太田淳, 辻孝吉. 時間ペトリネットの滞留無し性に関する一考察. 計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM). 2014. 2014. ROMBUNNO.SS7-6
村主 健太, 太田 淳, 辻 孝吉. ペトリネットを用いた量子回路のモデル化と解析 (ソフトウェアサイエンス). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2014. 113. 422. 53-58
村主 健太, 太田 淳, 辻 孝吉. ペトリネットを用いた量子回路のモデル化と解析. 電子情報通信学会技術研究報告. MSS, システム数理と応用. 2014. 113. 421. 53-58
もっと見る
書籍 (6件):
離散数学のすすめ, 第21章 ペトリネットとその拡張モデル
現代数学社 2010
情報科学入門 : 文系学生のためのコンピュータリテラシー
学術図書出版社 2003 ISBN:4873619793
文系学生のためのコンピュータリテラシー 情報科学入門 ネットワーク編
学術図書出版社 2003
文系学生のためのコンピュータリテラシー 情報科学入門 アプリケーション編
学術図書出版社 2003
未来を拓く情報科学
リバティ書房 1997
もっと見る
講演・口頭発表等 (11件):
テンソル積の既約分解を用いた量子ペトリネットの階層化
(第74回全国大会講演論文集 2012)
テンソル積の既約分解を用いた量子ペトリネットの階層化
(全国大会講演論文集 2012)
Polynomial Time Solvability of Liveness Problem of Structurally Weakly Persistent Net
(電子情報通信学会技術研究報告 2010)
On a new model for Quantum Computers by using Quantum Petri Nets
(電子情報通信学会技術研究報告 2009)
数値と記号が混在する大規模回路の混合分割による並列記号解析
(電子情報通信学会技術研究報告 1989)
もっと見る
学歴 (2件):
- 1987 大阪大学 工学研究科 電子工学専攻
- 1987 大阪大学
学位 (1件):
工学博士 (大阪大学)
委員歴 (7件):
2020 - 現在 電子情報通信学会 ソフトウェアインタプライズモデリング研究会 幹事補
2012 - 現在 電子情報通信学会 システム数理と応用研究専門委員会顧問
2005 - 2010 電子情報通信学会 コンカレント工学研究専門委員会顧問
2009 - 電子情報通信学会 シニア会員
2005 - 2006 情報処理学会 東海支部評議員
2003 - 2004 電子情報通信学会 コンカレント工学研究専門委員会委員長
電子情報通信学会 ソフトウェアインタプライズモデリング研究専門委員会委員
全件表示
所属学会 (5件):
情報処理学会
, IEEE
, 電子情報通信学会
, ACM
, 計測自動制御学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM