電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 27件中 1〜20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-19
10:20
北海道 函館コミュニティプラザ 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法
武田健志橋本健二関 浩之名大
グラフはその汎用性の高さから様々な関係を表現することに用いられている.一方で,実用テ&#... [more] SS2017-1 KBSE2017-1
pp.1-6
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-20
16:15
北海道 函館コミュニティプラザ 再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ
坂梨元軌河邉翔平酒井正彦西田直樹橋本健二名大
難読プログラミング言語Malbolgeは,その解析困難性により知的財産権の保護などに役立つと考えられているが,命令が特殊... [more] SS2017-18 KBSE2017-18
pp.145-150
SS 2017-03-09
09:55
沖縄 てんぶす那覇 モデル計数を用いた量的情報流解析のための論理式簡約と静的解析
中島聖斗橋本健二酒井正彦関 浩之名大
プログラムの量的情報流(QIF)解析手法の一つとして,プログラムを背景理論付き論理式へ変換しプログラムの出力値を表す論理... [more] SS2016-61
pp.7-12
SS 2017-03-10
11:10
沖縄 てんぶす那覇 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件
石原 鷹橋本健二関 浩之名大
問合せ保存とは,変換と問合せに対し,変換前データに対する問合せと同じ結果を得られるような変換後データに対する問合せが存在... [more] SS2016-78
pp.109-114
MSS, SS
(共催)
2017-01-27
14:10
京都 京都工芸繊維大学 60周年記念館 2階大セミナー室 あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換
川本将也橋本健二関 浩之名大
XML文書に対する問合せ言語としてXPathが知られている.
XPath式を決定性木オートマトンに変換することで,
... [more]
MSS2016-75 SS2016-54
pp.107-112
DC, SS
(共催)
2016-10-27
15:30
滋賀 彦根勤労福祉会館(彦根市) #SMTツールを用いた量的情報流解析手法の高速化
中島聖斗Trung Chu Bao橋本健二酒井正彦関 浩之名大
プログラムの量的情報流(QIF)を解析する手法の一つとして,プログラムを背景理論付き論理式へ変換し出力変数に投射したモデ... [more] SS2016-26 DC2016-28
pp.49-54
DC, SS
(共催)
2016-10-27
15:55
滋賀 彦根勤労福祉会館(彦根市) 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法
高山隆之介橋本健二関 浩之名大
XML文書の圧縮法の一つとして木文法に基づく手法が知られている.また,その手法による圧縮文書に対して解凍せずに更新を行う... [more] SS2016-27 DC2016-29
pp.55-60
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2016-07-14
12:40
北海道 北海道立道民活動センター トップ木に基づく木圧縮法の実装と問合せ処理法の提案
西村 卓橋本健二関 浩之名大
木構造に対する様々な圧縮法が提案されているが,トップ木と呼ばれるデータ構造に基づく圧縮法については実際的な圧縮性能に関す... [more] SS2016-10 KBSE2016-16
pp.93-98
SS 2016-03-10
10:25
沖縄 沖縄県立宮古青少年の家 On the query preservation for nondeterministic tree transducers
Kazuki MiyaharaNAIST)・Kenji HashimotoNagoya Univ.)・Hiroyuki SekiNAIST/Nagoya Univ.
We consider the problem of deciding whether a query can be r... [more] SS2015-79
pp.19-24
LOIS 2016-03-03
14:40
沖縄 宮古島市中央公民館 圧縮構造化文書のための更新手法の拡張とその実験的評価
後藤健志高山隆之介橋本健二関 浩之名大
XMLはデータ蓄積・交換書式として定着しており,XML文書に対する様々なデータ圧縮法が提案されている.その中で木文法に基... [more] LOIS2015-75
pp.69-74
SS, MSS
(共催)
2016-01-25
14:00
石川 しいのき迎賓館 セミナールームB モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化
浅井孝俊橋本健二関 浩之名大
データベースに対して実行が許可された問合せ結果,データベーススキーマ,
問合せのコード(意味)等の公開情報を組合せて,... [more]
MSS2015-43 SS2015-52
pp.47-52
SS 2015-05-12
13:30
熊本 熊本大学 モデル計数を用いたXMLデータベースのk-安全性検査
浅井孝俊上杉正紀橋本健二関 浩之名大
データベースに対して実行が許可された問合せ結果,データベーススキーマ,問合せのコード(意味)等の公開情報を組合せて,実行... [more] SS2015-15
pp.71-76
MSS, SS
(共催)
2015-01-27
08:55
鳥取 ブランナールみささ 木文法に基づくXML圧縮文書に対する直接更新手法の評価
後藤健志名大)・尾上栄浩奈良先端大)・橋本健二関 浩之名大
XMLはデータ蓄積・交換書式として定着しており,XML文書に対する様々なデータ圧縮法が提案されている.その中で木文法に基... [more] MSS2014-81 SS2014-45
pp.73-78
SS 2014-10-23
16:15
高知 高知市文化プラザかるぽーと 木文法による圧縮XML文書に対する問合せと更新手法
尾上栄浩奈良先端大)・橋本健二関 浩之名大)・伊藤 実奈良先端大
XML 文書は同じ構造が頻出することが多いため,様々な圧縮法が提案されている.本稿では,SLCFTG による圧縮 XML... [more] SS2014-28
pp.17-22
ICD 2014-04-18
10:30
東京 機械振興会館 [招待講演]7nsのアクセスタイム、27fA/bの待機時電流、25μW/MHzの動作時電力を達成した低電力MCU向け65nm 128kb SRAMの開発
福田寿一小原弘治堂坂利彰武山泰久緑川 剛東芝)・橋本健二脇山一郎TOSMEC)・宮野信治北城岳彦東芝
65nmテクノロジーで128kbの低リークSRAMを開発し保持モードの待機時電流3.5nA(27fA/b)を達成した。q... [more] ICD2014-12
pp.59-64
SS 2014-03-11
13:30
沖縄 てんぷす那覇:第1・2会議室 制約付き木オートマトンにおける不用な遷移規則の発見法について
中野靖大西田直樹酒井正彦坂部俊樹草刈圭一朗橋本健二名大
項の書換え完全性は,制約付き項書換え系の書換え帰納法に基づいた定理自動証明の際に何回も証明を試みられる性質である.また,... [more] SS2013-77
pp.31-36
SS, MSS
(共催)
2014-01-31
10:20
愛知 豊田中央研究所 量的情報流に基づくプログラムの実行時制御法の提案
Bao Trung Chu奈良先端大)・橋本健二関 浩之名大
 [more] MSS2013-63 SS2013-60
pp.71-76
SS 2013-01-10
13:00
沖縄 沖縄県石垣市民会館 DTD存在下における兄弟軸を含むPositive XPathクエリの恒真性判定問題
楠 洋平阪大)・橋本健二奈良先端大)・石原靖哲藤原 融阪大
近年,構造化データを記述可能なXMLが盛んに利用されており,XML文書の特定の要素を指定する問合せ言語としてXPath ... [more] SS2012-46
pp.1-6
SS, IPSJ-SE
(連催)
2012-11-01
10:50
広島 広島市立大学、講堂 小ホール 決定性線形下降木変換器における頂点問合せ保存
宮原一喜橋本健二関 浩之奈良先端大
XML文書変換では,変換前の文書群に含まれる必要な情報がその変換によって失われないことが望ましい.そのような情報保存の一... [more] SS2012-38
pp.13-18
SS 2012-03-14
09:00
沖縄 てんぶす那覇 決定性線形トップダウン木変換器における問合せ保存の決定可能性
澤田龍太阪大)・橋本健二奈良先端大)・石原靖哲藤原 融阪大
XMLスキーマを更新する際,更新後スキーマが更新前スキーマの表現能力を保存することが望まれる.表現能力保存の1つの形式化... [more] SS2011-75
pp.109-114
 27件中 1〜20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会