山口 真悟 | 山口大学
スポンサーリンク
概要
関連著者
-
山口 真悟
山口大学
-
山口 真悟
山口大学大学院理工学研究科
-
田中 稔
山口大学大学院理工学研究科
-
葛 崎偉
山口大学教育学部
-
内平 直志
東芝研究開発センター
-
内平 直志
(株)東芝
-
葛 崎偉
山口大学
-
内平 直志
(株)東芝システム・ソフトウェア技術研究所
-
内平 直志
東芝 研開セ
-
葛 崎偉
広島大学工学部
-
宮本 俊幸
大阪大学大学院工学研究科
-
宮本 俊幸
大阪大学大学院工学研究科電気電子情報工学専攻
-
本位田 真一
国立情報学研究所
-
本位田 真一
(株)東芝研究開発センター
-
宮本 俊幸
大阪大学 大学院工学研究科
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
本位田 真一
東芝研究開発センター
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
孫 伯仲
山口大学大学院理工学研究科
-
中村 正樹
富山県立大学工学部
-
牧野 光則
中央大学大学院理工学研究科
-
石浦 菜岐佐
関西学院大学理工学部
-
黒田 祐樹
山口大学大学院理工学研究科
-
宇佐美 公良
芝浦工業大学
-
本位田 真一
東京大学
-
牧野 光則
中央大学理工学部情報工学科
-
平石 邦彦
北陸先端科学技術大学院大学 情報科学研究科
-
宇佐美 公良
芝浦工業大学工学部
-
Makino Mitsunori
Chuo Univ.
-
石浦 菜岐佐
関西学院大
-
牧野 光則
イリノイ大学シカゴ校
-
牧野 光則
中央大学
-
Makino Mitsunori
Chuo Univ. Tokyo Jpn
-
Makino Mitsunori
The Faculty Of Science And Engineering Chuo University
-
Makino M
Chuo Univ. Tokyo Jpn
-
宇佐美 公良
芝浦工業大学情報工学科
-
平石 邦彦
北陸先端科学技術大学院大学情報科学研究科
-
宇佐美 公良
芝浦工業大学工学部情報工学科
-
宇佐美 公良
芝浦工業大学工学情報工学科
-
Makino Mitsunori
Department Of Information And System Engineering Faculty Of Science And Engineering Chuo University
-
本位田 真一
国立情報学研究所graceセンター|東京大学
-
Makino Mitsunori
Department Of Information And System Engineering Chuo University:department Of Electrical Electronic
-
山田 功
東京工業大学
-
中村 正樹
富山県立大学
-
平石 邦彦
北陸先端科学技術大学院大学
-
池田 良
山口大学大学院理工学研究科
-
濱野 慎司
山口大学工学部
-
山崎 達志
摂南大学工学部
-
山崎 達志
摂南大学理工学部
-
平川 智悠
山口大学大学院理工学研究科
-
濱野 慎司
山口大学大学院理工学研究科
-
呉 歓
山口大学大学院理工学研究科
-
松野 浩嗣
山口大学大学院理工学研究科
-
渡辺 悠生
山口大学大学院理工学研究科
-
池田 博己
山口大学工学部
-
浜口 拓也
山口大学工学部
-
中光 顕子
山口大学工学部
-
小宮 圭介
山口大学大学院理工学研究科
-
西村 世志人
山口大学工学部
-
山口 宗師
山口大学大学院理工学研究科
-
成井 徹志
山口大学大学院理工学研究科
-
竹坂 祥
山口大学工学部
-
本位田 真一
東京大学大学院情報理工学系研究科|国立情報学研究所
-
中野 翔太
東京理科大学理工学部電気電子情報工学科
-
松野 浩嗣
山口大学大学院理工学研究科自然科学基盤系専攻
-
谷口 博彬
山口大学工学部
-
村上 祐樹
山口大学大学院理工学研究科
-
浦中 裕也
山口大学
-
丸山 雄也
山口大学
-
中野 翔太
山口大学大学院理工学研究科
-
石田 憲秀
山口大学工学部
-
上田 滝平
山口大学大学院理工学研究科
-
谷口 博彬
山口大学大学院理工学研究科
-
洲崎 武史
山口大学工学部
-
松野 浩嗣
山口大学理学部自然情報科学科
-
松野 浩嗣
山口大学大学院 理工学研究科
-
村上 祐樹
山口大学大学院 理工学研究科
著作論文
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- A-12-1 Well-Structuredワークフローネットへのリファクタリングの提案(A-12.コンカレント工学,一般セッション)
- アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)
- ワークフローネットの健全性判定に対するモデル検査法について
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- A-12-2 Acyclic well-structuredワークフローネットに対する直列化可能性判定法の提案(A-12.コンカレント工学,一般セッション)
- A-12-3 ワークフローネットにおける関心事とその強調法について(A-12.コンカレント工学,一般セッション)
- D-15-15 プロジェクトマネジメントのパターンを学習するための問題集と手引き集の開発(D-15. 教育工学,一般セッション)
- 引継型と請負型のインターワークフローへの動的変更の解析
- 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
- AK-2-3 マルチカーエレベータ群管理アルゴリズムに関する研究動向 : CSTソリューションコンペティション2007の活動を通じて(AK-2.基礎・境界分野の研究最前線,ソサイエティ特別企画,ソサイエティ企画)
- AI-1-5 CSTソリューションコンペティション2007(総括)(AI-1. CSTソリューションコンペティション2007:表彰式・シンポジウム,依頼シンポジウム,ソサイエティ企画)
- AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- A-12-8 CSTソリューションコンペティション2007 : 課題と評価ツール(A-12.コンカレント工学,一般講演)
- AP-2-5 CSTソリューションコンペティション2007(概要)(AP-2.コンカレント技術研究の方向性,パネル討論,ソサイエティ企画)
- A-12-4 デバイスドライバのネット指向テーラーメイド設計システムの提案(A-12.コンカレント工学,一般セッション)
- 不活性なトランジションを持つワークフローネットのProtocol継承を考慮した健全化について(グラフ,ペトリネット,ニューラルネット,及び一般)
- Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案(一般)
- CSTソリューションコンペティション2010 : マルチカーエレベータの最適制御(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- シグナル伝達経路ペトリネットモデルにおける遅延時間の整合性確認手法の提案(一般,コンカレントシステム及び一般)
- AS-3-6 ワークフローネットの解析問題と解析能力(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- システムと信号処理サブソの新たな展開を目指して(システムと信号処理及び一般)
- Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットヘリファクタリングするための条件について(システムと信号処理及び一般)
- Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットヘリファクタリングするための条件について(システムと信号処理及び一般)
- Acyclic拡張自由選択ワークフローネットからAcyclic Well-Structuredワークフローネットヘリファクタリングするための条件について(システムと信号処理及び一般)
- リスクパターンベースの構築とプロジェクト実践授業におけるリスク特定への応用(プロジェクトと組織のリスク)
- 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について (システム数理と応用)
- A-12-2 時間ペトリネットから時間オートマトンへのコンパクトな変換について(A-12.システム数理と応用,一般セッション)
- ペトリネットの状態数の多項式時間計算について〜有界性と入れ子構造を活用したアプローチ〜
- 単純Well-Structuredワークフローネットの諸性質(グラフ,ペトリネット,ニューラルネット,及び一般)
- 単純Well-Structuredワークフローネットの諸性質(グラフ,ペトリネット,ニューラルネット,及び一般)
- Acyclic Well-Structuredワークフローネットの可達性判定について(グラフ,ペトリネット,ニューラルネット,及び一般)
- Acyclic Well-Structuredワークフローネットの可達性判定について(グラフ,ペトリネット,ニューラルネット,及び一般)
- 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
- 拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
- CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
- C言語からペトリネットマークアップ言語への変換ツールC2PNMLとその応用例
- Acyclic Well-Structuredワークフローネットの拡張とその健全性について(グラフ、ペトリネット、ニューラルネット及び一般)
- Acyclic Well-Structuredワークフローネットの拡張とその健全性について(グラフ、ペトリネット、ニューラルネット及び一般)