| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| WBS | 2016-10-06 11:00 |
神奈川 | 防衛大学校 | マルチキャリヤ符号分割多重による伝搬パス適応無線MIMO変調方式 ○上田健司・中村 聡・伊丹 誠・伊藤紘二（東京理科大）  WBS2016-32 |
[more] | WBS2016-32 pp.1-6 |
| DC | 2013-02-13 10:00 |
東京 | 機械振興会館 | 解の再利用によるテスト生成のためのハードウェアSATソルバの実装 ○向井俊矢・上田健司・岩垣 剛・市原英行・井上智生（広島市大） DC2012-80 |
[more] | DC2012-80 pp.1-6 |
| VLD, DC, IPSJ-SLDM (連催) ICD, CPM (共催) CPSY, RECONF (併催) [詳細] |
2012-11-27 13:00 |
福岡 | 九州大学百年講堂 | 解の再利用を用いたSATに基づくテスト生成におけるインスタンス順序と変数割当順序の決定法 ○上田健司・岩垣 剛・市原英行・井上智生（広島市大） VLD2012-83 DC2012-49 |
本稿では充足可能性問題（SAT）に基づくテスト生成問題を取り上げ， 解を再利用しながら複数のインスタンスを解く状況下で... [more] |
VLD2012-83 DC2012-49 pp.141-146 |
[研究会発表申込システムのトップページに戻る]