電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 15件中 1~15件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
NLP, MSS
(併催)
2019-03-14
13:20
福井 福井大学 文京キャンパス OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
東 周輝中村正樹榊原一紀富山県立大)・緒方和博北陸先端大
 [more] MSS2018-83
pp.13-18
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-13
10:35
静岡 熱海伊豆山温泉 ハートピア熱海 階層型マルチエージェント・シミュレーション技法による駐車場レイアウトの定量評価
尾山武史榊原一紀中村正樹富山県立大)・松本卓也創発システム研)・大原 誠神戸大
 [more] CAS2018-68 MSS2018-44
pp.83-88
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2018-11-13
15:15
静岡 熱海伊豆山温泉 ハートピア熱海 代数仕様を用いた数理計画モデルの形式的検証について
中村正樹榊原一紀富山県立大
最適化ソルバーを数理計画モデルに適用するためには,ソルバーが適用可能な形式にモデル化する必要がある.本研究では,与えられ... [more] CAS2018-76 MSS2018-52
pp.127-130
WIT 2015-10-26
10:55
山口 川棚グランドホテル(下関) 看護師向け指さし呼称の自動評価手法の一検討
浦島 智鳥山朋二中村正樹富山県立大)・中川美都子大島淳一富山県高志リハビリテーション病院)・野村忠雄金城大
看護師の業務におけるヒューマンエラー対策の一つとして,指さし呼称による確認を業務手順に組み込むことが行われている.しかし... [more] WIT2015-62
pp.59-64
SS 2015-03-09
09:30
沖縄 沖縄県青年会館 構成子に基づく順序ソートパラメータ化仕様の十分完全性について
中村正樹富山県立大)・ガイナ ダニエル ミルチェア緒方和博二木厚吉北陸先端大
代数仕様言語CafeOBJでは,構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる.また,パラメータ... [more] SS2014-55
pp.1-6
WIT 2014-09-13
14:35
兵庫 神戸大学 楠地区キャンパス 高次脳機能障がい者の安全運転確認動作に関する研究
塩月 寿鳥山朋二浦島 智中村正樹富山県立大)・野村忠雄富山県高次脳機能障害支援センター)・大島淳一吉野 修富山県高志リハビリテーション病院
高次脳機能障がい患者は注意障がい症状等により,自動車運転時に必ずしも十分な安全運転確認動作を履行できないことがある.我々... [more] WIT2014-33
pp.75-80
WIT 2013-10-26
15:10
鹿児島 霧島国際ホテル(鹿児島県霧島市) 装着型センサを用いた高次脳機能障がい者の運転技能評価システムに関する研究
鳥山朋二浦島 智中村正樹富山県立大)・野村忠雄大島淳一吉野 修富山県高志リハビリテーション病院)・中山拓巳刀祢翔平富山県立大
 [more] WIT2013-48
pp.29-34
MVE, IE, WIT, IMQ
(共催)
CQ
(併催) [詳細]
2013-03-11
15:25
福岡 福岡工業大学 立ち上がり動作における支持基底面および重心可視化システム
中村正樹宮前潤一浦島 智鳥山朋二富山県立大)・佃 哲夫川端重樹佐野一成おおくまセントラル病院)・荷宮敏弘向山病院
リハビリテーション医療において立ち上がり動作を客観的に分析することは,改善程度の把握および治療効果の判定において非常に有... [more] IMQ2012-65 IE2012-169 MVE2012-126 WIT2012-75
pp.175-180
MVE, IE, WIT, IMQ
(共催)
CQ
(併催) [詳細]
2013-03-11
15:50
福岡 福岡工業大学 看護師向け指さし呼称確認システムの試作
浦島 智中村正樹鳥山朋二富山県立大)・大島淳一中川美都子野村忠雄高志リハビリ病院
病院における薬液取り違え等の医療事故の大きな割合をヒューマンエラーが占めており,防止のため様々な対策が行われている.看護... [more] IMQ2012-66 IE2012-170 MVE2012-127 WIT2012-76
pp.181-186
MSS, CAS, VLD, SIP
(共催)
2011-07-01
10:50
沖縄 沖縄県青年会館 [パネル討論]システムと信号処理サブソの新たな展開を目指して
石浦菜岐佐関西学院大)・牧野光則中大)・宇佐美公良芝浦工大)・山田 功東工大)・平石邦彦北陸先端大)・山口真悟山口大)・○中村正樹富山県立大
 [more] CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22
p.127
MSS 2011-01-20
09:35
山口 海峡メッセ下関 CSTソリューションコンペティション2010 ~ マルチカーエレベータの最適制御 ~
中村正樹金沢大)・山崎達志摂南大)・山口真悟山口大)・宮本俊幸阪大)・内平直志東芝
 [more] CST2010-57
pp.1-4
MSS 2010-08-02
14:25
石川 金沢学院大 サテライト教室 OTS/CafeOBJ法に基づく並行システムの実装とテスト生成
清野貴博産総研)・中村正樹金沢大
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] CST2010-33
pp.7-12
SS 2007-12-17
11:15
島根 島根大学 OTS/CafeOBJ法における証明譜からのテスト生成
中村正樹北陸先端大)・清野貴博産総研
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
 15件中 1~15件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会