| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| 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: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 |
| SS, MSS (共催) |
2018-01-18 14:15 |
広島 | 広島市立大学サテライトキャンパス | レジスタ付き文脈自由文法に関する所属問題と空問題の計算複雑さ ○仙田涼摩・関 浩之（名大） MSS2017-54 SS2017-41 |
文脈自由文法に対してデータ値を扱えるような拡張を行った計算モデルとしてレジスタ付き文脈自由文法(RCFG)が提案されてい... [more] | MSS2017-54 SS2017-41 pp.41-46 |
[研究会発表申込システムのトップページに戻る]