| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, NLP (共催) |
2022-03-28 09:40 |
ONLINE | オンライン開催 | 交通事故データに対する形式概念分析による事故予測システムの構築の検討 ○小谷祥悟・浅沼佑太・中村正樹・榊原一紀・本吉達郎・星川圭介（富山県立大）  MSS2021-56 NLP2021-127 |
本研究の目的は，過去の交通事故から将来の交通事故を予防するため，形式概念分析により交通事故データを分析することである．形... [more] | MSS2021-56 NLP2021-127 pp.7-12 |
| MSS, NLP (共催) |
2022-03-28 10:05 |
ONLINE | オンライン開催 | 統計的モデル検査を用いたエレベータ制御則の設計検証の検討 ○北原祐希・中村正樹・榊原一紀（富山県立大） MSS2021-57 NLP2021-128 |
エレベータシステムを設計する際，乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる． UPPAAL... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
| MSS, NLP (併催) |
2020-03-09 13:30 |
愛知 | やすらぎの宿 蒲郡荘 （開催中止，技報発行あり） |
アミノ酸配列と構造情報に基づくタンパク質の諸性質を対象とした形式概念分析の試み ○尾﨑裕樹・山碕達己・土屋勇貴・次田 凌・中村正樹・榊原一紀・篠田 優・浅野泰久（富山県立大） MSS2019-58 |
[more] | MSS2019-58 pp.5-8 |
| MSS, NLP (併催) |
2020-03-09 18:15 |
愛知 | やすらぎの宿 蒲郡荘 （開催中止，技報発行あり） |
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証 東 周輝・○中村正樹・榊原一紀（富山県立大）・緒方和博（北陸先端大） MSS2019-62 |
[more] | MSS2019-62 pp.25-30 |
| NLP, MSS (併催) |
2019-03-14 13:20 |
福井 | 福井大学 文京キャンパス | OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述 ○東 周輝・中村正樹・榊原一紀（富山県立大）・緒方和博（北陸先端大） MSS2018-83 |
[more] | MSS2018-83 pp.13-18 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 10:35 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 階層型マルチエージェント・シミュレーション技法による駐車場レイアウトの定量評価 ○尾山武史・榊原一紀・中村正樹（富山県立大）・松本卓也（創発システム研）・大原 誠（神戸大） CAS2018-68 MSS2018-44 |
[more] | CAS2018-68 MSS2018-44 pp.83-88 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 15:15 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 代数仕様を用いた数理計画モデルの形式的検証について ○中村正樹・榊原一紀（富山県立大） CAS2018-76 MSS2018-52 |
最適化ソルバーを数理計画モデルに適用するためには，ソルバーが適用可能な形式にモデル化する必要がある．本研究では，与えられ... [more] | CAS2018-76 MSS2018-52 pp.127-130 |
| WIT | 2015-10-26 10:55 |
山口 | 川棚グランドホテル（下関） | 看護師向け指さし呼称の自動評価手法の一検討 ○浦島 智・鳥山朋二・中村正樹（富山県立大）・中川美都子・大島淳一（富山県高志リハビリテーション病院）・野村忠雄（金城大） WIT2015-62 |
看護師の業務におけるヒューマンエラー対策の一つとして，指さし呼称による確認を業務手順に組み込むことが行われている．しかし... [more] | WIT2015-62 pp.59-64 |
| SS | 2015-03-09 09:30 |
沖縄 | 沖縄県青年会館 | 構成子に基づく順序ソートパラメータ化仕様の十分完全性について ○中村正樹（富山県立大）・ガイナ ダニエル ミルチェア・緒方和博・二木厚吉（北陸先端大） SS2014-55 |
代数仕様言語CafeOBJでは，構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる．また，パラメータ... [more] | SS2014-55 pp.1-6 |
| WIT | 2014-09-13 14:35 |
兵庫 | 神戸大学 楠地区キャンパス | 高次脳機能障がい者の安全運転確認動作に関する研究 ○塩月 寿・鳥山朋二・浦島 智・中村正樹（富山県立大）・野村忠雄（富山県高次脳機能障害支援センター）・大島淳一・吉野 修（富山県高志リハビリテーション病院） WIT2014-33 |
高次脳機能障がい患者は注意障がい症状等により，自動車運転時に必ずしも十分な安全運転確認動作を履行できないことがある．我々... [more] | WIT2014-33 pp.75-80 |
| WIT | 2013-10-26 15:10 |
鹿児島 | 霧島国際ホテル（鹿児島県霧島市） | 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究 ○鳥山朋二・浦島 智・中村正樹（富山県立大）・野村忠雄・大島淳一・吉野 修（富山県高志リハビリテーション病院）・中山拓巳・刀祢翔平（富山県立大） WIT2013-48 |
[more] | WIT2013-48 pp.29-34 |
| MVE, IE, WIT, IMQ (共催) CQ (併催) [詳細] |
2013-03-11 15:25 |
福岡 | 福岡工業大学 | 立ち上がり動作における支持基底面および重心可視化システム ○中村正樹・宮前潤一・浦島 智・鳥山朋二（富山県立大）・佃 哲夫・川端重樹・佐野一成（おおくまセントラル病院）・荷宮敏弘（向山病院） IMQ2012-65 IE2012-169 MVE2012-126 WIT2012-75 |
リハビリテーション医療において立ち上がり動作を客観的に分析することは，改善程度の把握および治療効果の判定において非常に有... [more] | IMQ2012-65 IE2012-169 MVE2012-126 WIT2012-75 pp.175-180 |
| MVE, IE, WIT, IMQ (共催) CQ (併催) [詳細] |
2013-03-11 15:50 |
福岡 | 福岡工業大学 | 看護師向け指さし呼称確認システムの試作 ○浦島 智・中村正樹・鳥山朋二（富山県立大）・大島淳一・中川美都子・野村忠雄（高志リハビリ病院） IMQ2012-66 IE2012-170 MVE2012-127 WIT2012-76 |
病院における薬液取り違え等の医療事故の大きな割合をヒューマンエラーが占めており，防止のため様々な対策が行われている．看護... [more] | IMQ2012-66 IE2012-170 MVE2012-127 WIT2012-76 pp.181-186 |
| MSS, CAS, VLD, SIP (共催) |
2011-07-01 10:50 |
沖縄 | 沖縄県青年会館 | ［パネル討論］システムと信号処理サブソの新たな展開を目指して 石浦菜岐佐（関西学院大）・牧野光則（中大）・宇佐美公良（芝浦工大）・山田 功（東工大）・平石邦彦（北陸先端大）・山口真悟（山口大）・○中村正樹（富山県立大） CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 |
[more] | CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 p.127 |
| MSS | 2011-01-20 09:35 |
山口 | 海峡メッセ下関 | CSTソリューションコンペティション2010 ～ マルチカーエレベータの最適制御 ～ ○中村正樹（金沢大）・山崎達志（摂南大）・山口真悟（山口大）・宮本俊幸（阪大）・内平直志（東芝） CST2010-57 |
[more] | CST2010-57 pp.1-4 |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大） CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| SS | 2007-12-17 11:15 |
島根 | 島根大学 | OTS/CafeOBJ法における証明譜からのテスト生成 ○中村正樹（北陸先端大）・清野貴博（産総研） SS2007-42 |
OTS/CafeOBJ法では，形式仕様言語CafeOBJで仕様を作成し， 証明譜と呼ばれる検証スクリプトにより仕様の形... [more] |
SS2007-42 pp.25-30 |
| SS | 2006-06-22 13:30 |
岡山 | 岡山大学創立五十周年記念館 | OTS/CafeOBJからOTS/Maudeへの仕様変換の研究 ○中村正樹・孔 維強・緒方和博・二木厚吉（北陸先端大） |
代数仕様言語を用いて状態遷移機械を記述する手法に，振舞仕様に基づく観測遷移機械（OTS）による手法と書き換え論理に基づく... [more] | SS2006-13 pp.1-6 |
| SS | 2005-01-20 13:00 |
宮崎 | 宮崎大学 木花キャンパス | STSプロトコルの形式化と検証によるCafeOBJとCoqの比較 ○原 光太朗（北陸先端大）・緒方和博（NEC/北陸先端大）・中村正樹・二木厚吉（北陸先端大） |
[more] | SS2004-43 pp.1-6 |
[研究会発表申込システムのトップページに戻る]