| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 16:15 |
北海道 | 函館コミュニティプラザ | 再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ ○坂梨元軌・河邉翔平・酒井正彦・西田直樹・橋本健二（名大）  SS2017-18 KBSE2017-18 |
難読プログラミング言語Malbolgeは，その解析困難性により知的財産権の保護などに役立つと考えられているが，命令が特殊... [more] | SS2017-18 KBSE2017-18 pp.145-150 |
| MBE, NC (併催) |
2017-03-14 11:15 |
東京 | 機械振興会館 | サル視覚皮質V4における図地選択性細胞発火の潜時と同期解析 ○蓑輪 大・蓮池正晴（筑波大）・山根ゆか子・田村 弘（阪大）・酒井 宏（筑波大） NC2016-90 |
視野内の物体（図）と背景（地）を区別して知覚する視覚処理を図地識別と呼ぶ．その皮質メカニズムとして，サルの視覚皮質V4領... [more] | NC2016-90 pp.155-158 |
| SS | 2017-03-09 09:55 |
沖縄 | てんぶす那覇 | モデル計数を用いた量的情報流解析のための論理式簡約と静的解析 ○中島聖斗・橋本健二・酒井正彦・関 浩之（名大） SS2016-61 |
プログラムの量的情報流（QIF）解析手法の一つとして，プログラムを背景理論付き論理式へ変換しプログラムの出力値を表す論理... [more] | SS2016-61 pp.7-12 |
| LOIS | 2017-03-02 16:00 |
沖縄 | 大濱信泉記念館 | 可視化のための画像からの図構造分析 ○酒井恵光（大谷大）・中山 健（津田塾大） LOIS2016-80 |
図を用いて情報を伝えようとする場合、その情報の中に現れる構造を、図におけるどんな構造に対応付けるかが問題となる。この対応... [more] | LOIS2016-80 pp.101-104 |
| EA, US (併催) |
2017-01-26 11:20 |
京都 | 同志社大学 室町キャンパス 寒梅館 | 2種のLPM信号を用いた空中超音波位置・速度計測と複数移動物体の追跡 ○千葉春樹・酒井 虹・平田慎之介（東工大）・折野裕一郎（滋賀県立大）・黒澤 実（東工大） US2016-112 EA2016-80 |
パルスエコー法を用いた超音波距離計測では，送信した超音波パルスと計測対象からのエコーとの時間遅れ(Time of fli... [more] | US2016-112 EA2016-80 pp.197-202(US), pp.73-78(EA) |
| DC, SS (共催) |
2016-10-27 15:30 |
滋賀 | 彦根勤労福祉会館(彦根市) | #SMTツールを用いた量的情報流解析手法の高速化 ○中島聖斗・Trung Chu Bao・橋本健二・酒井正彦・関 浩之（名大） SS2016-26 DC2016-28 |
プログラムの量的情報流（QIF）を解析する手法の一つとして，プログラムを背景理論付き論理式へ変換し出力変数に投射したモデ... [more] | SS2016-26 DC2016-28 pp.49-54 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-14 13:40 |
北海道 | 北海道立道民活動センター | 難読性の高いMalbolgeコードを生成するコンパイラのための中間言語 ○河邉翔平・酒井正彦・西田直樹・関 浩之（名大） SS2016-12 KBSE2016-18 |
[more] | SS2016-12 KBSE2016-18 pp.105-110 |
| SS | 2016-03-10 10:50 |
沖縄 | 沖縄県立宮古青少年の家 | 組合せ最適化問題記述のためのSQLの拡張 ○内田佑作・酒井正彦・西田直樹（名大） SS2015-80 |
近年，充足可能性判定ソルバの高速化がめざましい． しかしながらこれらのソルバを用いて組合せ最適化問題を解くための論理式... [more] |
SS2015-80 pp.25-30 |
| SS | 2016-03-10 11:15 |
沖縄 | 沖縄県立宮古青少年の家 | 拡張Farkas補題の部分適用による非線形ループ不変式生成を用いたプログラム検証 ○柳澤真志・西田直樹・酒井正彦（名大） SS2015-81 |
ループ不変式を生成するための手法として，与えたテンプレートと事前条件と事後条件から得られる検証式をFarkas補題に基づ... [more] | SS2015-81 pp.31-36 |
| ICSS, IPSJ-SPT (連催) |
2016-03-03 16:00 |
京都 | 京都大学 学術情報メディアセンター 南館 | パケット連続到着時間を判定基準とした攻撃検知方式の評価 ○林 裕平・西山聡史・鈴木昭徳・阪井勝彦・工藤伊知郎・神谷和憲（NTT） ICSS2015-56 |
近年，アプリケーションを対象としたDDoS攻撃が増加している．網でDDoS攻撃検知を行う上では通信を詳細分析可能なセキュ... [more] | ICSS2015-56 pp.53-58 |
| LOIS | 2016-03-03 15:20 |
沖縄 | 宮古島市中央公民館 | アノテーション付与のためのソースコード特徴の指定支援 中山 健（津田塾大）・○酒井恵光（大谷大） LOIS2015-76 |
ソースコードには，様々な粒度での意味的なまとまりや関係が存在する．これらにアノテーションが適切に付与されていれば，人がコ... [more] | LOIS2015-76 pp.75-80 |
| SS, MSS (共催) |
2016-01-25 16:45 |
石川 | しいのき迎賓館 セミナールームB | 制約付き項書換え系における停止性と帰納的定理の同時証明 ○川本佳史・西田直樹・酒井正彦（名大） MSS2015-48 SS2015-57 |
[more] | MSS2015-48 SS2015-57 pp.75-80 |
| SS, MSS (共催) |
2016-01-25 17:10 |
石川 | しいのき迎賓館 セミナールームB | A method for making proof graph finite on disjunctive parameterised Boolean equation systems ○Yutaro Nagae・Masahiko Sakai・Hiroyuki Seki（Nagoya Univ.） MSS2015-49 SS2015-58 |
A parameterised Boolean equation system (PBES) is a set of e... [more] | MSS2015-49 SS2015-58 pp.81-85 |
| SS, MSS (共催) |
2016-01-26 11:05 |
石川 | しいのき迎賓館 セミナールームB | ナローイングによる制約付き依存対の変換 ○笹野智裕・西田直樹・酒井正彦（名大） MSS2015-57 SS2015-66 |
項書換え系の停止性証明の枠組みである依存対フレームワークは項書換え規則に制約を付随させた制約付き項書換え系を対象に拡張さ... [more] | MSS2015-57 SS2015-66 pp.123-128 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:10 |
北海道 | 札幌市教育文化会館 | パターン除去による制約付き項書換え系の等価変換 ○長尾貴浩・西田直樹・酒井正彦（名大） SS2015-33 KBSE2015-26 |
制約付き項書換え系は整数制約などにより規則の適用を制御できるように項書換え系を拡張した枠組みである．書換え規則の左辺に現... [more] | SS2015-33 KBSE2015-26 pp.167-172 |
| LOIS, IPSJ-DC (併催) |
2015-07-13 17:25 |
北海道 | はこだて未来大学 | 例を併用した可視化の枠組み 中山 健（津田塾大）・○酒井恵光（大谷大） LOIS2015-12 |
ライフログ等のデータを探索的に有効利用するには，データの特徴把握や加工が容易でなければならない．そこで，制約に基づく多様... [more] | LOIS2015-12 pp.19-23 |
| LOIS, IPSJ-CN, IPSJ-SPT (連催) |
2015-05-15 13:00 |
東京 | 津田塾大学小平キャンパス | 制約ベースの可視化エンジンを用いた情報検索支援 ○酒井恵光（大谷大）・中山 健（津田塾大） LOIS2015-5 |
情報検索サービスにおいては、主としてユーザの典型的な要求に重点を置いた設計がなされているが、ユーザが典型的出ない要求に基... [more] | LOIS2015-5 pp.77-79 |
| SS | 2015-03-10 09:30 |
沖縄 | 沖縄県青年会館 | 木構造データを扱う関数の逆Unfold問題の発見的解法 ○加藤友郁・長島正憲・酒井正彦・西田直樹・坂部俊樹（名大） SS2014-69 |
Unfold/Fold変換はプログラム変換や定理証明などに広く利用されている． Unfold変換とFold変換はそれぞ... [more] |
SS2014-69 pp.85-90 |
| SS | 2015-03-10 09:55 |
沖縄 | 沖縄県青年会館 | 制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック ○栗木隆太朗・西田直樹・酒井正彦・坂部俊樹（名大） SS2014-70 |
制約付き項書換え系における帰納的定理を書換え帰納法で検証するには,適切な補題等式を与える必要がある場合が多い.制約付き項... [more] | SS2014-70 pp.91-96 |
| MSS, SS (共催) |
2015-01-26 16:55 |
鳥取 | ブランナールみささ | 制約付き項書換え系の停止性証明におけるナローイングの効果について ○上山智也・西田直樹・酒井正彦・坂部俊樹（名大） MSS2014-76 SS2014-40 |
[more] | MSS2014-76 SS2014-40 pp.43-48 |
[研究会発表申込システムのトップページに戻る]