お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 3件中 1~3件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS, MSS
(共催)
2024-01-18
10:00
石川 金沢商工会議所会館(石川県金沢市)
(ハイブリッド開催,主:現地開催,副:オンライン開催)
レジスタ付き多プレイヤーゲームに基づくシステム自動合成問題
坂尾優斗関 浩之名大MSS2023-61 SS2023-40
システムの実現可能性問題とは,与えられた仕様に対して,それに適合するシステムが存在するかどうかを判定する問題である.また... [more] MSS2023-61 SS2023-40
pp.52-57
SS 2023-03-15
09:55
沖縄 名護市産業支援センター
(ハイブリッド開催,主:現地開催,副:オンライン開催)
データ木書換え系の正則保存性 ~ 単項標準形に分解可能なクラス ~
坂尾優斗関 浩之名大SS2022-62
言語クラス$mathcal{L}$上の変換$T$が正則保存性を持つとは,任意の正則な言語$L in mathcal{L}... [more] SS2022-62
pp.91-96
SS 2022-03-07
13:15
ONLINE オンライン開催 データ語書換え系の正則保存性とそのプロトコル検証への応用
坂尾優斗関 浩之名大SS2021-46
 [more] SS2021-46
pp.25-30
 3件中 1~3件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会