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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 11件中 1~11件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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
IPSJ-ARC, IPSJ-SLDM
(共催)
VLD, CPSY, RECONF
(共催)
(連催) [詳細]
2018-01-19
16:15
神奈川 慶應義塾大学 日吉キャンパス 来往舎 等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化
岩辻光功石浦菜岐佐関西学院大VLD2017-87 CPSY2017-131 RECONF2017-75
本稿では, テストプログラムの等価変換に基づくC コンパイラのランダムテストシステムにおいて, 制御文の生成機能を強化す... [more] VLD2017-87 CPSY2017-131 RECONF2017-75
pp.163-168
MSS 2016-03-03
16:50
山口 海峡メッセ下関 [招待講演]推論から等価変換へ ~ 論理的計算の新しい理論に向けて ~
赤間 清北大MSS2015-77
本稿では論理的計算の理論の構造転換の試みについて述べる。証明問題や求解問題など多くの論理的問題のクラスが提案され、解法が... [more] MSS2015-77
pp.53-56
VLD 2016-02-29
13:55
沖縄 沖縄県青年会館 等価変換に基づくテストプログラム生成によるCコンパイラのランダムテスト
中村和博石浦菜岐佐関西学院大VLD2015-112
本稿では, C コンパイラの信頼性向上を目的としたランダムテストにおいて, プログラムの等価変換によってテストプログラム... [more] VLD2015-112
pp.7-12
ISEC 2009-12-16
16:35
東京 機械振興会館 ロールベースアクセス制御におけるロール階層の再設計手法の提案
朝倉義晴NEC/兵庫県立大)・中本幸一兵庫県立大ISEC2009-79
ロールベースアクセス制御(RBAC)は,アクセス制御を実現するモデルとして広く用いられている.RBACに基づくアクセス制... [more] ISEC2009-79
pp.57-63
SS 2008-03-03
13:30
長崎 長崎大学 等式を規則化する変換の停止条件
水野清貴西田直樹坂部俊樹酒井正彦草刈圭一朗名大SS2007-62
項書換え系(TRS)と等式集合から等価なTRSを得る変換手続きが様々な目的で提案されている.これらの手続きを活用するには... [more] SS2007-62
pp.31-36
SS 2007-12-17
13:00
島根 島根大学 メタ計算に基づくプログラム生成実験システム
西田好孝赤間 清北大)・小池英勝札幌学院大SS2007-43
本研究では,与えられた仕様からそれを満足させる高性能なプログラムを自動的
に生成させる事を考える.ここで,入力となる仕... [more]
SS2007-43
pp.31-36
SS 2007-12-17
13:30
島根 島根大学 決定的抽象プログラムから低水準命令型プログラムを合成する枠組み
若槻俊宏赤間 清北大)・馬淵浩司岩手県立大SS2007-44
等価変換に基づくプログラム構築は,仕様記述から低水準命令型プログラム生成までのプロセスを一貫して扱う枠組みである.確定節... [more] SS2007-44
pp.37-42
SS 2007-12-18
11:45
島根 島根大学 発展するeラーニングシステム
加藤克宜赤間 清中村佳祐北大SS2007-56
eラーニングシステムは,多数の学習者や教員に使われるが,彼らが欲しい機能があらかじめすべて提供されているとは限らない.
... [more]
SS2007-56
pp.109-114
NLP 2004-07-16
13:25
静岡 静岡大学 修正非線形回路縮退技法の提案とその評価
石田 功峯 敬久保田英正静岡大)・渡辺貴之静岡県立大)・浅井秀樹静岡大
本報告では、回路網の形状に依存しない非線形回路縮退技法を提案する.本手法は、Krylov部分空間法を用いて変換行列を生成... [more] NLP2004-28
pp.25-30
 11件中 1~11件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会