| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2018-01-18 14:15 |
広島 | 広島市立大学サテライトキャンパス | レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ ○仙田涼摩・関 浩之（名大）  MSS2017-54 SS2017-41 |
文脈自由文法に対してデータ値を扱えるような拡張を行った計算モデルとしてレジスタ付き文脈自由文法(RCFG)が提案されてい... [more] | MSS2017-54 SS2017-41 pp.41-46 |
| SS, DC (共催) |
2017-10-19 13:45 |
高知 | 高知市文化プラザかるぽーと | トップ木に基づく圧縮データに対する直接更新法 ○西村 卓・橋本健二・関 浩之（名大） SS2017-22 DC2017-21 |
トップ木は木構造に対する圧縮法の一つである．トップ木に基づく圧縮データであるトップDAGおよび更新位置と更新の種類（ラベ... [more] | SS2017-22 DC2017-21 pp.7-12 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 10:20 |
北海道 | 函館コミュニティプラザ | 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法 ○武田健志・橋本健二・関 浩之（名大） SS2017-1 KBSE2017-1 |
グラフはその汎用性の高さから様々な関係を表現することに用いられている.一方で,実用テ&#... [more] | SS2017-1 KBSE2017-1 pp.1-6 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-19 11:10 |
北海道 | 函館コミュニティプラザ | 車載ソフトウェアのためのダイナミックマップにおける動的情報の信頼性検証法 ○渡邉陽介（名大）・佐藤守一（豊田中研）・関 浩之・結縁祥治（名大） SS2017-3 KBSE2017-3 |
自動車業界では，高精度な道路地図情報に他車両等の動的物体の情報を加えたダイナミックマップ（以下LDMと呼ぶ）が検討されて... [more] | SS2017-3 KBSE2017-3 pp.13-18 |
| SS | 2017-03-09 09:55 |
沖縄 | てんぶす那覇 | モデル計数を用いた量的情報流解析のための論理式簡約と静的解析 ○中島聖斗・橋本健二・酒井正彦・関 浩之（名大） SS2016-61 |
プログラムの量的情報流（QIF）解析手法の一つとして，プログラムを背景理論付き論理式へ変換しプログラムの出力値を表す論理... [more] | SS2016-61 pp.7-12 |
| SS | 2017-03-10 10:45 |
沖縄 | てんぶす那覇 | 十分完全性を持たない階層的条件付き項書換え系の合流性証明 ○黒田貴之・西田直樹・関 浩之（名大） SS2016-77 |
条件付き項書換え系（CTRS）における合流性の検証手法として項書換え系への変換を経て証明する手法が知られているが，自然数... [more] | SS2016-77 pp.103-108 |
| SS | 2017-03-10 11:10 |
沖縄 | てんぶす那覇 | 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件 ○石原 鷹・橋本健二・関 浩之（名大） SS2016-78 |
問合せ保存とは，変換と問合せに対し，変換前データに対する問合せと同じ結果を得られるような変換後データに対する問合せが存在... [more] | SS2016-78 pp.109-114 |
| MSS, SS (共催) |
2017-01-27 14:10 |
京都 | 京都工芸繊維大学 60周年記念館 2階大セミナー室 | あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換 ○川本将也・橋本健二・関 浩之（名大） MSS2016-75 SS2016-54 |
XML文書に対する問合せ言語としてXPathが知られている． XPath式を決定性木オートマトンに変換することで， ... [more] |
MSS2016-75 SS2016-54 pp.107-112 |
| DC, SS (共催) |
2016-10-27 15:30 |
滋賀 | 彦根勤労福祉会館(彦根市) | #SMTツールを用いた量的情報流解析手法の高速化 ○中島聖斗・Trung Chu Bao・橋本健二・酒井正彦・関 浩之（名大） SS2016-26 DC2016-28 |
プログラムの量的情報流（QIF）を解析する手法の一つとして，プログラムを背景理論付き論理式へ変換し出力変数に投射したモデ... [more] | SS2016-26 DC2016-28 pp.49-54 |
| DC, SS (共催) |
2016-10-27 15:55 |
滋賀 | 彦根勤労福祉会館(彦根市) | 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法 ○高山隆之介・橋本健二・関 浩之（名大） SS2016-27 DC2016-29 |
XML文書の圧縮法の一つとして木文法に基づく手法が知られている．また，その手法による圧縮文書に対して解凍せずに更新を行う... [more] | SS2016-27 DC2016-29 pp.55-60 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-14 12:40 |
北海道 | 北海道立道民活動センター | トップ木に基づく木圧縮法の実装と問合せ処理法の提案 ○西村 卓・橋本健二・関 浩之（名大） SS2016-10 KBSE2016-16 |
木構造に対する様々な圧縮法が提案されているが，トップ木と呼ばれるデータ構造に基づく圧縮法については実際的な圧縮性能に関す... [more] | SS2016-10 KBSE2016-16 pp.93-98 |
| 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:25 |
沖縄 | 沖縄県立宮古青少年の家 | On the query preservation for nondeterministic tree transducers ○Kazuki Miyahara（NAIST）・Kenji Hashimoto（Nagoya Univ.）・Hiroyuki Seki（NAIST/Nagoya Univ.） SS2015-79 |
We consider the problem of deciding whether a query can be r... [more] | SS2015-79 pp.19-24 |
| LOIS | 2016-03-03 14:40 |
沖縄 | 宮古島市中央公民館 | 圧縮構造化文書のための更新手法の拡張とその実験的評価 ○後藤健志・高山隆之介・橋本健二・関 浩之（名大） LOIS2015-75 |
XMLはデータ蓄積・交換書式として定着しており，XML文書に対する様々なデータ圧縮法が提案されている．その中で木文法に基... [more] | LOIS2015-75 pp.69-74 |
| SS, MSS (共催) |
2016-01-25 14:00 |
石川 | しいのき迎賓館 セミナールームB | モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化 ○浅井孝俊・橋本健二・関 浩之（名大） MSS2015-43 SS2015-52 |
データベースに対して実行が許可された問合せ結果，データベーススキーマ， 問合せのコード（意味）等の公開情報を組合せて，... [more] |
MSS2015-43 SS2015-52 pp.47-52 |
| 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 | 2015-05-11 14:25 |
熊本 | 熊本大学 | ［依頼講演］量的情報流と差分プライバシー ○関 浩之（名大） SS2015-4 |
近年，量的情報流，差分プライバシー，k-匿名性など，セキュリティやプライバシーの定量化を目指した研究が注目されている．こ... [more] | SS2015-4 pp.17-22 |
| SS | 2015-05-12 13:30 |
熊本 | 熊本大学 | モデル計数を用いたXMLデータベースのk-安全性検査 ○浅井孝俊・上杉正紀・橋本健二・関 浩之（名大） SS2015-15 |
データベースに対して実行が許可された問合せ結果，データベーススキーマ，問合せのコード（意味）等の公開情報を組合せて，実行... [more] | SS2015-15 pp.71-76 |
| MSS, SS (共催) |
2015-01-27 08:55 |
鳥取 | ブランナールみささ | 木文法に基づくXML圧縮文書に対する直接更新手法の評価 ○後藤健志（名大）・尾上栄浩（奈良先端大）・橋本健二・関 浩之（名大） MSS2014-81 SS2014-45 |
XMLはデータ蓄積・交換書式として定着しており，XML文書に対する様々なデータ圧縮法が提案されている．その中で木文法に基... [more] | MSS2014-81 SS2014-45 pp.73-78 |
| IT | 2014-12-09 15:50 |
富山 | 富山県 宇奈月ニューオータニホテル | ［招待講演］セキュリティやプライバシーの定量的尺度について ○関 浩之（名大） IT2014-52 |
近年，量的情報流，差分プライバシー，$k$-匿名性など，セキュリティやプライバ シーの定量化を目指した研究が注目されて... [more] |
IT2014-52 pp.13-18 |
[研究会発表申込システムのトップページに戻る]