| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CQ | 2019-08-27 15:45 |
北海道 | 函館アリーナ (北海道) | ［招待講演］LoRaを活用した広域センサネットワークシステムの研究開発 ○山本 寛（立命館大）  CQ2019-71 |
通信速度は遅いものの長距離通信が可能となる無線通信であるLPWA (Low-Power Wide-Area)は、広範囲に... [more] | CQ2019-71 pp.73-78 |
| HCS, HIP (共催) HI-SIGCOASTER (連催) [詳細] |
2014-05-29 15:20 |
沖縄 | 沖縄産業支援センター (沖縄県) | PEACS:非均一的拡大縮小インタラクション ○横川絵理・米村俊一（芝浦工大）・渡辺昌洋（NTT） HCS2014-11 HIP2014-11 |
本稿では，ピンチ操作によって画面表示を非均一的に拡大・縮小するインタフェースPEACS (Partial Expandi... [more] | HCS2014-11 HIP2014-11 pp.95-100 |
| SS, KBSE (共催) |
2013-07-25 13:30 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） (北海道) | クラス責務割り当て問題へのファジィ制約充足問題の適用 ○柳田拓人（静岡大）・林 晋平・佐伯元司（東工大）・三村秀典（静岡大） SS2013-15 KBSE2013-15 |
本稿ではクラスへの責務割り当てをファジィ制約充足問題として定式化することにより自動化を図り，例題に対して解を導出した結果... [more] | SS2013-15 KBSE2013-15 pp.13-18 |
| SS | 2007-08-02 17:00 |
北海道 | 北海道大学 (北海道) | JMLを用いた在庫管理プログラムの設計とESC/Javaを用いた検証 ○尾鷲方志・岡野浩三・楠本真二（阪大） SS2007-22 |
近年，契約に基づく設計による開発手法が脚光を浴びている．これを実現する言語の一つとしてJMLが挙げられる． 本研究では... [more] |
SS2007-22 pp.37-42 |
| NS, IN (併催) |
2007-03-08 08:20 |
沖縄 | 沖縄コンベンションセンター (沖縄県) | JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案 ○閻 奔・中村匡秀（奈良先端大）・リディ ドゥ ブスケ（ヨセフ・フーリエ大）・松本健一（奈良先端大） NS2006-159 |
家電機器やセンサを家庭内ネットワークに接続し，様々なサービスを提供可能にするホームネットワークシステム（HNS）の研究・... [more] | NS2006-159 pp.7-12 |
| IN, MoNA (併催) |
2006-11-16 14:20 |
熊本 | 熊本大学 (熊本県) | ホームネットワークシステムにおける家電連携サービスの安全性に関する考察 ○閻 奔・中村匡秀（奈良先端大）・リディ ドゥ ブスケ（ヨセフ・フーリエ大）・松本健一（奈良先端大） IN2006-97 |
複数の家電をネットワークを用いて接続・連携させ，付加価値サービスを提供するホームネットワークシステム(HNS)の研究・開... [more] | IN2006-97 pp.49-54 |
| SS | 2005-10-14 09:30 |
埼玉 | 十文字学園 6号館 (埼玉県) | Daikonの限定利用によるJavaメソッドの事後条件の自動導出 ○梶田泰伸・岡野浩三・楠本真二（阪大） |
近年Javaに対するDesign by Contract(DbC)の導入に関心が集まっている．事前・事後条件，不変表明を... [more] | SS2005-49 pp.7-12 |
[研究会発表申込システムのトップページに戻る]