お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 22件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
NLP, MSS
(共催)
2024-03-13
13:30
その他 機械振興会館 合流をともなうフレキシブルショップ問題の混合整数計画モデルの構築
青木洸介中村正樹榊原一紀富山県立大MSS2023-76 NLP2023-128
本稿では,合流をともなう製造ラインを含む製造現場を対象としたスケジューリング手法を提案する.まず,対象問題をフレキシブル... [more] MSS2023-76 NLP2023-128
pp.29-34
NLP, MSS
(共催)
2024-03-13
15:00
その他 機械振興会館 交通事故概況を用いた形式概念分析による事故要因の分析
村上遥翔榊原一紀中村正樹本吉達郎星川圭介富山県立大MSS2023-79 NLP2023-131
本研究は高齢の歩行者等の交通弱者を対象とした警察活動の支援を目的とし,過去の交通事故データより将来の交通事故を予防するた... [more] MSS2023-79 NLP2023-131
pp.42-47
NLP, MSS
(共催)
2024-03-13
15:25
その他 機械振興会館 機械学習によるタンパク質の可溶性予測とメタヒューリスティクスによる複数変異パターンの探索
小島海聖榊原一紀中村正樹富山県立大)・松井大亮立命館大MSS2023-80 NLP2023-132
産業に利用することのできない不溶性タンパク質を可溶化させるため,タンパク質の一部を変異させ可溶化させる実験が行われている... [more] MSS2023-80 NLP2023-132
pp.48-53
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
 22件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会