お知らせ 研究会の開催と会場に参加される皆様へのお願い(2021年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 36件中 1~20件目  /  [次ページ]  
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
COMP 2022-03-06
10:00
ONLINE オンライン開催 重み付き文脈自由文法の曖昧さ階層について
井上裕介橋本健二関 浩之名大
重み付き文脈自由文法(WCFG)とは, 文脈自由文法(CFG)の重み付きの拡張であり, その性質について盛んに研究が行わ... [more] COMP2021-31
pp.1-7
MSS, SS
(共催)
2021-01-27
15:00
ONLINE オンライン開催 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化
岸 潤一郎酒井正彦西田直樹橋本健二名大MSS2020-40 SS2020-25
著者らはこれまでに,拡張したSQLで組合せ最適化問題を簡単に記述でき,かつ効率的に解くことのできる求解系CombSQL+... [more] MSS2020-40 SS2020-25
pp.66-71
IE, IMQ, MVE
(共催)
CQ
(併催) [詳細]
2020-03-05
16:30
福岡 九州工業大学 戸畑キャンパス
(開催中止,技報発行あり)
RGB-Dカメラ画像を用いた災害対応ロボットによる自律的なドアノブ操作方法に関する検討
林 正晃神田琢也宮川和也大谷 淳早大)・小方博之成蹊大)・橋本健二明大)・孫 瀟松澤貴司内藤 博高西淳夫早大IMQ2019-27 IE2019-109 MVE2019-48
近年,危険な災害現場等において人間に代わりロボットが作業する需要が高まっている.災害現場は通信状態が良好でないことがあり... [more] IMQ2019-27 IE2019-109 MVE2019-48
pp.63-67
SS 2020-03-04
13:50
沖縄 てんぶす那覇
(開催中止,技報発行あり)
マクロ森変換器がXMLスキーママッピングの実現であることの決定手続き
田端浩明酒井正彦橋本健二名大SS2019-43
XML スキーママッピング(SM)は異なる2つのXMLスキーマ DTD の対応付けを木パターンを用いて記述したものである... [more] SS2019-43
pp.13-18
SS 2019-03-04
16:45
沖縄 沖縄産業支援センター 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ
坂梨元軌酒井正彦西田直樹橋本健二名大SS2018-66
著者らはこれまでに,組合せ最適化問題を簡単に記述でき,かつ効率的に解く手法を開発すること目的として,SQLを基礎とした言... [more] SS2018-66
pp.85-90
PRMU, CNR
(共催)
2019-03-01
10:00
徳島 徳島大学 災害現場における4肢ロボットの深層強化学習を用いた局所的経路生成手法の検討
黒澤俊樹早大)・小方博之成蹊大)・大川内隆朗松澤貴司大谷 淳早大)・橋本健二明大)・高西淳夫早大PRMU2018-125 CNR2018-48
近年,災害現場におけるロボット活用の需要が高まっている.本稿では現在開発中の災害対応4肢ロボットWAREC-1が障害物や... [more] PRMU2018-125 CNR2018-48
pp.59-64
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-20
16:15
北海道 函館コミュニティプラザ 再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ
坂梨元軌河邉翔平酒井正彦西田直樹橋本健二名大SS2017-18 KBSE2017-18
難読プログラミング言語Malbolgeは,その解析困難性により知的財産権の保護などに役立つと考えられているが,命令が特殊... [more] SS2017-18 KBSE2017-18
pp.145-150
SS 2017-03-09
09:55
沖縄 てんぶす那覇 モデル計数を用いた量的情報流解析のための論理式簡約と静的解析
中島聖斗橋本健二酒井正彦関 浩之名大SS2016-61
プログラムの量的情報流(QIF)解析手法の一つとして,プログラムを背景理論付き論理式へ変換しプログラムの出力値を表す論理... [more] SS2016-61
pp.7-12
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
SS 2016-03-10
10:25
沖縄 沖縄県立宮古青少年の家 On the query preservation for nondeterministic tree transducers
Kazuki MiyaharaNAIST)・Kenji HashimotoNagoya Univ.)・Hiroyuki SekiNAIST/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 2015-05-12
13:00
熊本 熊本大学 Query-Based l-Diversity
Chittaphone PhonharathNAIST)・Ryunosuke TakayamaKenji HashimotoHiroyuki SekiNagoya Univ.SS2015-14
 [more] SS2015-14
pp.65-70
SS 2015-05-12
13:30
熊本 熊本大学 モデル計数を用いたXMLデータベースのk-安全性検査
浅井孝俊上杉正紀橋本健二関 浩之名大SS2015-15
データベースに対して実行が許可された問合せ結果,データベーススキーマ,問合せのコード(意味)等の公開情報を組合せて,実行... [more] SS2015-15
pp.71-76
 36件中 1~20件目  /  [次ページ]  
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会