| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS | 2010-01-22 09:10 |
愛知 | 豊田中央研究所アクタスCホール | Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 山口真悟・○濱野慎司・黒田祐樹・田中 稔（山口大）  CST2009-45 |
ワークフロー管理とは仕事の流れをワークフローとして定義し，そのインスタンスを自動化することである． ワークフローには同... [more] |
CST2009-45 pp.45-48 |
| MSS, CAS (共催) |
2009-11-27 15:50 |
愛知 | 名古屋大学 | 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて ○黒田祐樹・山口真悟・田中 稔（山口大） CAS2009-60 CST2009-33 |
ワークフローネットはワークフローをモデル化するためのペトリネットである． 本稿では，ワークフローネットの振る舞いを維持... [more] |
CAS2009-60 CST2009-33 pp.89-93 |
| MSS | 2009-06-04 14:50 |
大阪 | 摂南大学大阪センター | アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則 ○渡辺悠生・山口真悟・池田 良・田中 稔（山口大） CST2009-9 |
[more] | CST2009-9 pp.49-52 |
| MSS | 2009-01-29 15:25 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | ワークフローネットの健全性判定に対するモデル検査法について ○山口宗師・山口真悟・田中 稔（山口大） CST2008-46 |
ワークフロー(WF)ネットが満たすべき性質として健全性(soundness)がある．健全性はワークフローの論理的な正しさ... [more] | CST2008-46 pp.27-32 |
| MSS | 2009-01-29 15:50 |
神奈川 | 神奈川県産業振興センター会議室(第一会議室) | 引継型と請負型のインターワークフローへの動的変更の解析 ○成井徹志・山口真悟・葛 崎偉・田中 稔（山口大） CST2008-47 |
本稿ではワークフローからインターワークフローへの動的変更の解析を議論する． インターワークフローの連携型が引継型か請負... [more] |
CST2008-47 pp.33-38 |
| MSS | 2008-08-04 13:50 |
静岡 | 静岡大学（浜松キャンパス）工学部システム工学科棟３階Ａ３１教室 | デバイスドライバのアクティビティ図に対するペトリネットに基づく検査について ○山田太郎・山口真悟・田中 稔（山口大） CST2008-14 |
最近，UML/アクティビティ図がデバイスドライバの設計に使われている．本稿では，UML/アクティビティ図によるデバイスド... [more] | CST2008-14 pp.11-16 |
| MSS | 2008-06-03 11:40 |
愛知 | 名古屋大学野依記念学術交流館 | WFネットの健全化問題の提案とProtocol継承を考慮した部分問題に対する一考察 ○池田 良・山口真悟・田中 稔（山口大） CST2008-7 |
[more] | CST2008-7 pp.13-18 |
| MSS | 2008-01-29 14:45 |
徳島 | 徳島大学 | トークン分布に依存した停止性のSWITCH-lessネットに対する判定について ○小宮圭介・山口真悟・葛 崎偉・田中 稔（山口大） CST2007-55 |
本稿では，（データフロー）プログラムネットの初期トークン分布に依存した停止性を議論する． 任意のトークン分布に対する停... [more] |
CST2007-55 pp.53-58 |
| MSS, CAS (共催) |
2007-11-29 13:25 |
新潟 | 新潟大学自然科学研究科 | Well-Structured ワークフローネットの並列度を計算するための最長パスに着目したヒューリスティックアルゴリズム ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） CAS2007-68 CST2007-19 |
本稿では最長パスに着目したwell-structured WFネットの並列度PARAdegの ヒューリスティックアルゴ... [more] |
CAS2007-68 CST2007-19 pp.7-10 |
| MSS | 2007-08-31 13:25 |
島根 | 島根大学総合理工学部多目的ホール | モデル検査ツールSPINによるワークフローネットの健全性の判定について ○山口宗師・山口真悟・田中 稔（山口大） CST2007-12 |
ワークフロー(WF)ネットはワークフローをモデル化するためのペトリネットであり，ワークフローの解析や性能評価に活用されて... [more] | CST2007-12 pp.7-12 |
| SS | 2007-02-01 16:15 |
愛知 | 愛知県立大学 | 割り込み処理のDelegationに基づく設計方法およびモデル検査方法について ○姿 善規・山口真悟・栗栖隆一・田中 稔（山口大） |
[more] | SS2006-77 pp.37-42 |
| MSS | 2007-01-26 13:50 |
東京 | 機械振興会館 | well-structured WFネットの構造解析とPARAdegの近似計算について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
[more] | CST2006-40 pp.13-18 |
| PRMU | 2006-12-15 15:45 |
福井 | 福井大 | ホモグラフィから生ずる画像歪みに着目したタッチスクリーンの実現 ○二見 徹（山口大）・石原真紀夫（福岡工大）・田中 稔（山口大） |
[more] | PRMU2006-181 pp.61-66 |
| CAS, MSS (共催) |
2006-11-20 11:05 |
長崎 | 長崎大学 文教キャンパス 総合教育研究棟 2F多目的ホール, 3F大講義室 | Acyclic structured プログラムネットのPARAdegの評価と応用について ○高井智博・山口真悟・葛 崎偉・田中 稔（山口大） |
[more] | CAS2006-44 CST2006-20 pp.13-18 |
| ET | 2006-11-18 11:25 |
石川 | 金沢学院大学 | 二次方程式の解法推測に基づく学習支援システムの開発 ○森脇貴志（山口大）・高本明美（宇部フロンティア大）・田中 稔（山口大） |
[more] | ET2006-55 pp.25-30 |
| MSS | 2006-07-26 14:15 |
京都 | 京都工芸繊維大学 総合研究棟4階 多目的室 | 状態機械ワークフローネットのAbort型動的変更に対する最悪変更時間の計算複雑さと性能解析について ○宮内克彰・山口真悟・葛 崎偉・田中 稔（山口大） |
[more] | CST2006-17 pp.43-48 |
| MSS | 2006-01-27 10:10 |
神奈川 | 東芝科学館 ホール | ワークフローネットの健全性と並列度について ○金子侑史・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿ではワークフロー(WF)ネットの健全性と並列度について議論する。 まずWFネットの並列性を評価する尺度として並列度... [more] |
CST2005-41 pp.13-18 |
| ET | 2005-12-17 15:40 |
福岡 | 九産大 | 携帯電話のQRコードリーダー機能を用いた出席システム ○黒崎義邦・刈谷丈治・田中 稔（山口大） |
大学の講義での出席において，高価な機器を使用せず手軽に出席を取ることのできるシステムの開発を目指している．筆者らは，QR... [more] | ET2005-70 pp.75-80 |
| ET | 2005-10-15 16:35 |
広島 | 広島市立大 | 興味優先学習支援システムの開発と評価 ○寺田祐来・田中 稔（山口大）・高本明美（宇部フロンティア大） |
学習支援システムは，学習者の学習意欲を持続させることが大切である．好きなものや興味・関心を持ったものについて学んでいくと... [more] | ET2005-50 pp.69-74 |
| MSS | 2005-08-22 13:00 |
愛知 | 愛知県立大学 | Acyclic Well-StructuredデータフロープログラムネットのMaxPARAdegの近似計算について ○高井智博・山口真悟・葛 崎偉・田中 稔（山口大） |
本稿では、SWITCH-nodeをもつデータフロープログラムネットのサブクラスの一つであるAcyclic Well-St... [more] | CST2005-14 pp.1-6 |
[研究会発表申込システムのトップページに戻る]