研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
SS, MSS (共催) |
2024-01-18 10:00 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
レジスタ付き多プレイヤーゲームに基づくシステム自動合成問題 ○坂尾優斗・関 浩之(名大) MSS2023-61 SS2023-40 |
システムの実現可能性問題とは,与えられた仕様に対して,それに適合するシステムが存在するかどうかを判定する問題である.また... [more] |
MSS2023-61 SS2023-40 pp.52-57 |
SS, MSS (共催) |
2024-01-18 14:40 |
石川 |
金沢商工会議所会館(石川県金沢市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
確率的Büchiゲームにおけるドゥームズデイ均衡の存在判定問題 ○水野紘希・中西凜道・関 浩之(名大) MSS2023-68 SS2023-47 |
有限有向グラフ上で行われ,Büchiと呼ばれるタイプの目的をもつ確率的多プレイヤー非ゼロ和ゲームを考える.ドゥームズデイ... [more] |
MSS2023-68 SS2023-47 pp.93-98 |
SS, DC (共催) |
2023-10-12 10:00 |
長野 |
信州大学工学部(長野市) (ハイブリッド開催,主:現地開催,副:オンライン開催) |
A game-theoretic approach to indistinguishability of winning objectives as user privacy ○Rindo Nakanishi(Nagoya Univ.)・Yoshiaki Takata(KUT)・Hiroyuki Seki(Nagoya Univ.) SS2023-27 DC2023-33 |
本研究では,ソフトウェアサービスを対話的に利用するユーザーのセキュリティ保護を,ゲーム理論を用いて研究する枠組みを構築し... [more] |
SS2023-27 DC2023-33 pp.32-37 |
SS |
2023-03-15 09:55 |
沖縄 |
名護市産業支援センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
データ木書換え系の正則保存性 ~ 単項標準形に分解可能なクラス ~ ○坂尾優斗・関 浩之(名大) SS2022-62 |
言語クラス$mathcal{L}$上の変換$T$が正則保存性を持つとは,任意の正則な言語$L in mathcal{L}... [more] |
SS2022-62 pp.91-96 |
DC, SS (共催) |
2022-10-25 10:50 |
福島 |
コラッセふくしま (ハイブリッド開催,主:現地開催,副:オンライン開催) |
確率的ゲームにおける非協調的合成問題 ○小出 走・関 浩之(名大) SS2022-23 DC2022-29 |
多プレイヤー非ゼロサムゲームをモデルとし,合理的に行動する複数の環境に対するシステムの合成問題が研究されている.このモデ... [more] |
SS2022-23 DC2022-29 pp.10-15 |
DC, SS (共催) |
2022-10-25 11:15 |
福島 |
コラッセふくしま (ハイブリッド開催,主:現地開催,副:オンライン開催) |
決定性上昇型ノミナル木オートマトンの学習アルゴリズム ○中西凜道(名大)・高田喜朗(高知工科大)・関 浩之(名大) SS2022-24 DC2022-30 |
ノミナル集合は,有限オートマトンをデータ値の無限集合上のモデルに拡張するために利用されている.Moerman らは,等価... [more] |
SS2022-24 DC2022-30 pp.16-21 |
SS |
2022-03-07 13:15 |
ONLINE |
オンライン開催 |
データ語書換え系の正則保存性とそのプロトコル検証への応用 ○坂尾優斗・関 浩之(名大) SS2021-46 |
[more] |
SS2021-46 pp.25-30 |
COMP |
2022-03-06 10:00 |
ONLINE |
オンライン開催 |
重み付き文脈自由文法の曖昧さ階層について ○井上裕介・橋本健二・関 浩之(名大) COMP2021-31 |
重み付き文脈自由文法(WCFG)とは, 文脈自由文法(CFG)の重み付きの拡張であり, その性質について盛んに研究が行わ... [more] |
COMP2021-31 pp.1-7 |
DE, IPSJ-DBS (連催) |
2021-12-27 10:50 |
ONLINE |
国立情報学研究所(NII) (ハイブリッド開催,主:オンライン開催,副:現地開催) |
木分解の圧縮および解集合プログラミングによる問合せ ○小島和之・関 浩之(名大) DE2021-16 |
グラフの木分解は,グラフデータへの問合せ処理に対する有効なアプローチであるが,木分解自体に大きな計算量を要することが多い... [more] |
DE2021-16 pp.7-12 |
SS, DC (共催) |
2021-10-19 15:25 |
ONLINE |
オンライン開催 |
レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス ○大西 晃・仙田涼摩(名大)・高田喜朗(高知工科大)・関 浩之(名大) SS2021-17 DC2021-22 |
有限オートマトンに,データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は,所属問題や空問題が判定可... [more] |
SS2021-17 DC2021-22 pp.23-28 |
SS |
2021-03-03 10:00 |
ONLINE |
オンライン開催 |
重み付き多重文脈自由文法とその性質について ○井上裕介・関 浩之(名大) SS2020-28 |
多重文脈自由文法(MCFG)は文字列の組を生成できるようにCFGを拡張した形式文法であり, 構文記述, 生物系列解析等へ... [more] |
SS2020-28 pp.1-6 |
SS |
2021-03-03 10:25 |
ONLINE |
オンライン開催 |
レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス ○大西 晃・仙田涼摩(名大)・高田喜朗(高知工科大)・関 浩之(名大) SS2020-29 |
有限オートマトンに,データ値を扱えるレジスタを追加して拡張したレジスタオートマトン (RA)は,所属問題や空問題が判定可... [more] |
SS2020-29 pp.7-12 |
MSS, SS (共催) |
2021-01-27 15:25 |
ONLINE |
オンライン開催 |
レジスタをもつ計算モデルが表現する言語に対するポンプの補題 ○中西凜道・仙田涼摩(名大)・高田喜朗(高知工科大)・関 浩之(名大) MSS2020-41 SS2020-26 |
レジスタオートマトン, レジスタ文脈自由文法, レジスタ木オートマトンは, 従来の計算モデルおよび文法にレジスタを追加し... [more] |
MSS2020-41 SS2020-26 pp.72-77 |
DC, SS (共催) |
2020-10-19 13:25 |
ONLINE |
オンライン開催 |
LTL Model Checking for Register Pushdown Systems ○Ryoma Senda(Nagoya Univ.)・Yoshiaki Takata(KUT)・Hiroyuki Seki(Nagoya Univ.) SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of rec... [more] |
SS2020-6 DC2020-23 pp.7-12 |
DE, IPSJ-DBS, IPSJ-IFAT (連催) |
2020-09-05 15:10 |
ONLINE |
オンライン開催 |
木分解と木文法圧縮を利用したグラフ圧縮法および圧縮データへの直接問合せ処理法の提案と評価 ○小島和之・関 浩之(名大) DE2020-13 |
[more] |
DE2020-13 pp.1-6 |
SS, MSS (共催) |
2020-01-14 16:55 |
広島 |
広島市立大学 サテライトキャンパス |
モデル計数に基づく動的QIF解析法の提案と評価 ○福田大地・関 浩之(名大) MSS2019-49 SS2019-33 |
プログラムのセキュリティ強度を表すために、情報の漏洩量の尺度として、量的情報流(QIF) が注目されている。
QIF ... [more] |
MSS2019-49 SS2019-33 pp.49-54 |
DC, SS (共催) |
2019-10-24 14:30 |
熊本 |
熊本大学 |
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems ○Reo Yoshimura(Nagoya Univ.)・Yoshiaki Takata(Kochi-tech.)・Hiroyuki Seki(Nagoya Univ.) SS2019-16 DC2019-44 |
[more] |
SS2019-16 DC2019-44 pp.19-24 |
SS |
2019-03-04 17:35 |
沖縄 |
沖縄産業支援センター |
動的情報漏洩量の解析および適応的制御入力最適化 ○三輪竜矢・関 浩之(名大) SS2018-68 |
プログラムのセキュリティの尺度として動的情報漏洩量が提案されている.本稿ではまず,与えられたプログラムの機密入力と観測出... [more] |
SS2018-68 pp.97-102 |
MSS, SS (共催) |
2019-01-16 09:00 |
沖縄 |
沖縄県青年会館 |
重み付きレジスタオートマトンの最小重み実行問題 ○吉村玲勇・関 浩之(名大) MSS2018-66 SS2018-37 |
レジスタオートマトン(RA)とは有限オートマトンにレジスタを加えてデータ値を扱えるようにした計算モデルである.近年,遷移... [more] |
MSS2018-66 SS2018-37 pp.61-66 |
KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:05 |
北海道 |
北海道・帯広市 とかちプラザ 視聴覚室/大集会室 |
状態遷移学習による分散協調システムの異常診断法 ○渡邉陽介(名大)・佐藤守一(豊田中研)・関 浩之・結縁祥治(名大) SS2018-3 KBSE2018-13 |
IoT(Internet of Things)の普及やつながるクルマの進展により,複数のシステムの連携が拡大している.シ... [more] |
SS2018-3 KBSE2018-13 pp.13-18 |