| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NS, RCS (併催) |
2023-12-15 14:50 |
福岡 | 九州工業大学 戸畑キャンパス＋オンライン開催 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
センサーネットワーク検証システムにおける遷移図を用いたMACプロトコル設計環境の開発 ○小林 遼・アサノ デービッド・不破 泰（信州大）  NS2023-148 |
我々が開発している無線センサーネットワークは、様々な環境やアプリケーションに応じて仕様が異なり、その都度新しく通信プロト... [more] | NS2023-148 pp.126-131 |
| CCS, NLP (共催) |
2023-06-09 13:55 |
東京 | 東京都市大学 世田谷キャンパス | 機械学習を用いた声帯と仮声帯の振動データ解析 ○井上拓海・塩澤航太・徳田 功（立命館大） NLP2023-24 CCS2023-12 |
実世界における非線形現象の1つとして, 人間や動物の発声の音源である声帯振動が挙げられる. 人間の場合, 声帯は上部に位... [more] | NLP2023-24 CCS2023-12 pp.49-52 |
| CCS, NLP (共催) |
2023-06-09 15:00 |
東京 | 東京都市大学 世田谷キャンパス | トレースノルム正則化を用いた分岐図の再構成 ○塩澤航太・徳田 功（立命館大） NLP2023-26 CCS2023-14 |
本稿では，時系列データのみからシステムの分岐図を再構成する手法を提案する.本手法では，Echo state networ... [more] | NLP2023-26 CCS2023-14 pp.57-60 |
| KBSE | 2022-03-10 13:05 |
ONLINE | オンライン開催 (Zoom) | 視線情報と編集ログに基づくステートマシン図課題の躓き調査 ○木村拓馬・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2021-55 |
ステートマシン図教育では，学習者がモデル記述課題を解く中で躓くことがある．教育者は，学習者の躓きを解消できるよう支援すべ... [more] | KBSE2021-55 pp.84-89 |
| KBSE, SWIM (共催) |
2021-05-22 14:00 |
ONLINE | オンライン開催 | UMLステートマシン図の教育的フィードバック自動生成に向けた答案の誤り特定自動化手法の提案 ～ 特定すべき誤りの種類とその特定結果への着目 ～ ○五島光祥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2021-10 SWIM2021-10 |
UML（Unified Modeling Language）のステートマシン図の学習では，教育者が答案を採点することに時... [more] | KBSE2021-10 SWIM2021-10 pp.56-61 |
| KBSE, SC (共催) |
2020-11-13 15:00 |
ONLINE | オンライン開催+機械振興会館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［ポスター講演］ステートマシン図学習者の躓き特定手法の提案に向けて ○北村拓弥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2020-13 SC2020-17 |
UMLステートマシン図の教育を支援するために，学習者の躓きについて分析する研究が行われている． 関連研究では，モデルの... [more] |
KBSE2020-13 SC2020-17 p.26 |
| KBSE, SC (共催) |
2020-11-13 15:04 |
ONLINE | オンライン開催+機械振興会館 （ハイブリッド開催，主：オンライン開催，副：現地開催） |
［ポスター講演］学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作 ○五島光祥・小形真平（信州大）・槇原絵里奈（同志社大）・岡野浩三（信州大） KBSE2020-15 SC2020-19 |
UML のステートマシン図は離散的な振る舞いを表すため，システム開発等において有用であるが，初学者にとって理解が難しいと... [more] | KBSE2020-15 SC2020-19 p.30 |
| ET | 2019-05-18 10:30 |
富山 | 富山大学 | 中学校技術科での利用を想定したUMLプログラミング環境の評価 ○原 舜弥・香山瑞恵・中野敬久（信州大）・永井 孝（ものつくり大）・田口直実（春富中） ET2019-1 |
本研究の目的は，中学校における技術科学習を支援するUMLプログラミング環境の構築である．本研究では，状態遷移図を用いたプ... [more] | ET2019-1 pp.1-6 |
| ET | 2018-11-10 14:00 |
東京 | 東京工芸大学 (中野キャンパス) | 中学校技術科での利用を想定したUMLプログラミング環境の提案 ○原 舜弥・香山瑞恵・中野敬久（信州大）・永井 孝（ものつくり大） ET2018-59 |
本研究の目的は，中学校における技術科学習を支援するUMLプログラミング環境の提案である．本研究では，状態遷移図を用いたプ... [more] | ET2018-59 pp.33-38 |
| KBSE, SC (共催) |
2018-11-10 14:00 |
兵庫 | 神戸大学 瀧川記念学術交流会館 | 多人数教育におけるUMLステートマシン図の調査・分析 ○小形真平・香山瑞恵・岡野浩三（信州大） KBSE2018-41 SC2018-36 |
本稿は多人数教育におけるステートマシン図を含むモデルを評価支援する手法の提案に向けて，一つのモデル記述課題に対する多数の... [more] | KBSE2018-41 SC2018-36 pp.77-82 |
| KBSE | 2017-01-23 12:35 |
東京 | 機械振興会館 | SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ～ 複数インスタンスのシミュレーション ～ ○小形真平・岡野浩三・香山瑞恵（信州大） KBSE2016-31 |
われわれはこれまで，ステートマシン図教育支援を目的にDSL(Domain Specific Language)ベースのU... [more] | KBSE2016-31 pp.1-6 |
| KBSE | 2017-01-23 13:20 |
東京 | 機械振興会館 | UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果 ○但馬将貴・香山瑞恵・小形真平・橋本昌巳（信州大） KBSE2016-32 |
本研究の目的は，UMLに基づく概念モデリング教育を支援する環境の拡充である．ここでは，学習者が日常にある物事の動作を状態... [more] | KBSE2016-32 pp.7-12 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-13 15:10 |
北海道 | 北海道立道民活動センター | SMart-Learning: DSLベースのUMLステートマシン図学習支援ツール ○小形真平・岡野浩三（信州大） SS2016-5 KBSE2016-11 |
IoTシステムや組込みシステムの需要が高まり，ステートマシン図の学習の重要性は増している．ステートマシン図では，実際に生... [more] | SS2016-5 KBSE2016-11 pp.49-54 |
| SS, MSS (共催) |
2016-01-25 10:20 |
石川 | しいのき迎賓館 セミナールームB | 非循環関係の再合成可能な分割によるコレオグラフィ実現 ～ パレート最適な状態機械の合成について ～ ○宮本俊幸（阪大） MSS2015-37 SS2015-46 |
与えられた分散システムの抽象的仕様（コレオグラフィ）に対して，分散システムの構成要素（サービス）の振る舞いモデルを合成す... [more] | MSS2015-37 SS2015-46 pp.13-18 |
| MSS, CAS, SIP, VLD (共催) |
2015-06-17 09:45 |
北海道 | 小樽商科大学 | 非循環関係の再合成可能な分割によるコレオグラフィ実現 ○宮本俊幸（阪大） CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
与えられた分散システムの抽象的仕様（コレオグラフィ）に対して，分散システムの構成要素の振る舞いモデルを合成する問題はコレ... [more] | CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
| SS, KBSE (共催) |
2013-07-25 16:40 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | 状態マシン図を用いたスマートフォンアプリのモデル化 ○落水恭介・横川智教（岡山県立大）・宮崎 仁（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大） SS2013-21 KBSE2013-21 |
本稿では，UMLの状態マシン図を用いてスマートフォンアプリをモデル化する手法を提案している． アプリを動作させるユーザ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
| SS, MSS (共催) |
2012-01-26 11:45 |
高知 | 高知市文化プラザかるぽーと | SMTソルバーを用いたUML状態機械の有界モデル検査に関する一考察 ○新村勇人・宮本俊幸（阪大） MSS2011-58 SS2011-43 |
近年，記号モデル検査\cite{SMC}の有効な手法として命題論理式の充足可能性問題 (satisfiability，S... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| VLD, CPSY, RECONF (共催) IPSJ-SLDM (連催) [詳細] |
2012-01-25 17:10 |
神奈川 | 慶応義塾大学 日吉キャンパス | 動的再構成可能なSU(3)スピン回路を用いたロボット制御中枢の設計 ○山崎優作・鈴木拓也・田向 権・関根優年（東京農工大） VLD2011-104 CPSY2011-67 RECONF2011-63 |
当研究室では画像認識，音声認識，音声合成の要素技術を統合するためのプラットフォームとして，カメラ，マイク，スピーカ，各種... [more] | VLD2011-104 CPSY2011-67 RECONF2011-63 pp.77-82 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
[研究会発表申込システムのトップページに戻る]