| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2014-03-11 10:30 |
沖縄 | てんぷす那覇：第１・２会議室 | SATソルバを活用した決定表作成・検証方式 ○伊藤信治・佐藤直人・金藤栄孝・宮崎邦彦・森 浩起・木村 誠・山口 潔（日立）  SS2013-73 |
条件の組合せパターンの考慮漏れを防止する方法の１つとして、決定表の活用が有効である。しかし、決定表は、条件項目の数が多く... [more] | SS2013-73 pp.7-11 |
| SS | 2014-03-11 11:30 |
沖縄 | てんぷす那覇：第１・２会議室 | JavaにおけるequalsメソッドとhashCodeメソッドの整合性の検査手法の提案 榛葉浩章・○尾ノ上博樹・岡野浩三・楠本真二（阪大） SS2013-75 |
Javaにおいて，コレクションに格納されるオブジェクトはequalsメソッドとhashCodeメソッドをオーバーライドし... [more] | SS2013-75 pp.19-24 |
| SS, MSS (共催) |
2014-01-31 09:55 |
愛知 | 豊田中央研究所 | CISC型組込みアセンブリプログラムのSMTベースの有界モデル検査 ○竹下 淳・小橋潤平・山根 智（金沢大） MSS2013-62 SS2013-59 |
本研究では, 組込みシステム向けアセンブリプログラムのコードブロックを対象とした,SMT有界モデル検査手法による性質検証... [more] | MSS2013-62 SS2013-59 pp.65-70 |
| IN, NV (併催) |
2013-07-19 15:15 |
北海道 | 北海道大学 工学部アカデミックラウンジ3 | 記号実行によるパケットの抽象化を用いたOpenFlowネットワークのモデル検査方式の提案 ○八鍬 豊・富沢伸行・登内敏夫（NEC） IN2013-54 |
OpenFlowネットワークに対し，モデル検査を用いて転送ループ等の不具合の有無を検証する方式を提案する．モデル検査では... [more] | IN2013-54 pp.107-112 |
| HIP, HCS (共催) HI-SIGCOASTER (連催) [詳細] |
2013-05-31 11:10 |
沖縄 | 沖縄産業支援センター | 協調学習者間の話者交替と精神作業負荷の時空間データマイニング ○大山勝徳・金子正人・武内 惇（日大） HCS2013-19 HIP2013-19 |
協調学習者間の深刻な状況（例えば，行き詰まりによる長い停滞）は，全てが共同作業や議論の最中に協調学習者や監督者によってす... [more] | HCS2013-19 HIP2013-19 pp.129-134 |
| KBSE | 2013-03-14 15:30 |
東京 | 芝浦工業大学 | モデル検査を使ったデッドロック可能性検出 ○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT） KBSE2012-76 |
形式手法の適用によるITシステムの信頼性向上が期待されている．しかし，形式手法の適用にはモデル作成等の専門的な知識が必要... [more] | KBSE2012-76 pp.43-48 |
| KBSE | 2013-03-15 11:25 |
東京 | 芝浦工業大学 | アーキテクチャに基づく検証ケースの提案 ○山本修一郎（名大） KBSE2012-82 |
システムの妥当性を形式手法だけで検証することは実践的ではない．このため形式手法と，テストやレビュなどとの組み合わせを明確... [more] | KBSE2012-82 pp.79-83 |
| NLC | 2012-12-19 16:20 |
東京 | 東京工業大学・大岡山キャンパス | Twitter上の「おはよう」を例とした崩れた異表記の認識 ○藤沼祥成（東大）・横野 光（NII）・Pascual Martinez-Gomez・相澤彰子（東大/NII） NLC2012-39 |
近年 Twitter を始めとする Consumer Generated Media (CGM) の発展により、正式な表... [more] | NLC2012-39 pp.35-40 |
| DC | 2012-12-14 17:00 |
福井 | アオッサ(福井) | SMTソルバによる単線自動閉そく装置の検証 ○寺田夏樹（鉄道総研） DC2012-79 |
形式手法によりプログラム仕様の品質を向上させることが期待されている．仕様の検証に関して，定理証明を使用する手法は，厳密な... [more] | DC2012-79 pp.31-36 |
| SWIM | 2012-11-30 11:00 |
東京 | 東海大学（高輪） | Event-Bによるモデル駆動モバイルアプリケーション開発 ○越賀 準・新川芳行（龍谷大） SWIM2012-16 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2012-16 pp.7-12 |
| SS, IPSJ-SE (連催) |
2012-11-01 13:15 |
広島 | 広島市立大学、講堂 小ホール | ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討 ○吉田信明（京都高度技研）・張 漢明・沢田篤史（南山大）・中村行宏（京都高度技研） SS2012-39 |
無線などの通信機能を持つデバイスを分散配置し，そのデバイスを通じてエリア内を移動する利用者の端末にサービス提供するシステ... [more] | SS2012-39 pp.35-40 |
| AP, WPT (併催) |
2012-08-27 13:25 |
新潟 | 新潟大学（駅南キャンパス 「ときめいと」） | 曲率をもつパッチアンテナの放射特性に関する考察 ○小林弘一（新潟大） AP2012-73 |
本稿ではパッチアンテナが曲面上に実装されているコンフォーマルの場合に対し、その放射特性等を解析的に考察している。パッチア... [more] | AP2012-73 pp.29-34 |
| ET | 2012-07-28 13:50 |
宮城 | 東北学院大学 | 小規模グループにおけるインフォーマルラーニングを支援するコミュニケーションツールの構築 ○中村悟大・中村直人（千葉工大） ET2012-23 |
近年，TwitterやFacebookのようなWebにおける非同期型のSNSは単なるコミュニケーションツールではなく，イ... [more] | ET2012-23 pp.13-16 |
| EST | 2012-06-01 11:25 |
東京 | 青山学院大学 青山キャンパス 総研ビル | 線路定数解析WEBアプリケーション ○柴田随道（NTT） EST2012-2 |
マイクロ波，ミリ波回路や高速ディジタル回路に用いられるコプレーナーウェーブガイドやコプレーナーストリップスの伝送線路定数... [more] | EST2012-2 pp.7-13 |
| COMP, IPSJ-AL (連催) |
2012-05-14 15:15 |
愛媛 | 愛媛大学 | 制限付き後戻り下向き構文解析器では認識不可能な文脈自由言語について ○松原俊一（青学大） COMP2012-11 |
近年構文解析手法としてよく使われているのが，有界な先読み付きの決定性構文解析と制限付き後戻り構文解析である．本研究では後... [more] | COMP2012-11 pp.45-50 |
| SS | 2012-03-13 13:05 |
沖縄 | てんぶす那覇 | Alloyを用いたRuby on Railsアプリケーションの開発支援 ○水谷浩明・結縁祥治（名大） SS2011-64 |
本稿では，Ruby on Rails アプリケーションのソースコードをモデル規範形式仕様記述言語 Alloy による記述... [more] | SS2011-64 pp.43-48 |
| SS, MSS (共催) |
2012-01-26 13:15 |
高知 | 高知市文化プラザかるぽーと | cbUMLのコミュニケーション図から状態機械への変換およびそれらの形式的意味について ○長谷川泰央・宮本俊幸（阪大） MSS2011-59 SS2011-44 |
情報システムを開発する際サービスと呼ばれるシステムの部品単位を組み合わせ，要求仕様を実現する方法論をサービス指向アーキテ... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| DC | 2011-12-16 14:30 |
兵庫 | 豊岡市社会福祉協議会／城崎地区センター | A Safety Estimation of the ATPB System using UML and Formal Method ○Guo Xie・Hiroshi Mochizuki・Sei Takahashi・Hideo Nakamura（Nihon Univ.） DC2011-70 |
在来線の経営改善と活性化を目指し、新たな列車制御システム「ATP閉そく」が提案された。本論文では、システムの仕様の正当性... [more] | DC2011-70 pp.13-16 |
| KBSE | 2011-11-11 13:20 |
長野 | 信州大学工学部 | UMLモデルからの変換によるWebアプリケーションの形式検証 ○大須賀隆彦（早大）・小野康一（日本IBM）・深澤良彰（早大） KBSE2011-49 |
モデル検査法がアプリケーションソフトウェアの形式検証のために適用されつつある．ソフトウェア開発の上流工程ではモデルを開発... [more] | KBSE2011-49 pp.79-84 |
| SS | 2011-10-28 11:15 |
石川 | 北陸先端科学技術大学院大学 | 有限Alloy記述の段階的な構築について ○小飼 敬（茨城高専）・中島 震（NII）・上田賀一（茨城大） SS2011-36 |
Alloy記述を作成する過程では，記述の確認を行う繰り返し作業の際に，探索スコープを限定したコマンドで解析することが多い... [more] | SS2011-36 pp.55-60 |
[研究会発表申込システムのトップページに戻る]