研究会 - すべての研究会開催スケジュール

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催スケジュール

技報閲覧サービス
[ログイン]
技報アーカイブ

[Japanese] / [English]

（

研究会名/開催地/テーマ

）→

（

講演検索

検索語: / 範囲:題目著者所属抄録キーワード

）→

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

講演検索結果

登録講演（開催プログラムが公開されているもの） （日付・降順）

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS, KBSE (共催)	2006-10-26 16:15	愛媛	愛媛大学	GeneSysによるプログラム生成例とIntroduction規則の追加 ○近藤　悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）	プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である．本論文... [more]	SS2006-46 KBSE2006-22 pp.37-42
SS	2006-06-22 14:00	岡山	岡山大学創立五十周年記念館	等式付き書換え系の等式数を削減する変換 ○三浦浩一・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）	与えられた等式集合を法として計算する等式付き書換え計算では，等式集合の語問題が決定不能であるため，一般には，与えられた項... [more]	SS2006-14 pp.7-12
SS	2005-12-20 10:15	高知	高知女子大	Enhancing Dependency Pair Method by Strong Computability in Simply-Typed Term Rewriting Systems ○Keiichirou Kusakari・Masahiko Sakai（Nagoya Univ.）	依存対法と呼ばれる再帰構造解析による停止性証明法を，型付き$\lambda$計算の停止性証明で導入された強計算性の概念を... [more]	SS2005-65 pp.13-18
SS	2005-10-13 16:15	埼玉	十文字学園 6号館	重なりを持つTRSにおける最外戦略の完全性について ○岩田篤史・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大）	項書換え系（TRS）において，戦略は与えられた項の書換え可能な位置のうち書換えるべき位置を指示する．重なりを持つTRSで... [more]	SS2005-46 pp.39-44
SS	2005-06-24 10:45	長野	信州大学太田国際記念館	強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大）	停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more]	SS2005-21 pp.19-24
SS	2005-06-24 11:45	長野	信州大学太田国際記念館	ナローイング計算の停止性証明のための依存グラフ法 ○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）	項書換え系（TRS）を右辺のみに現れる変数を持つ書換え規則を含むように拡張した余剰変数付き項書換え系（EV-TRS）は逆... [more]	SS2005-23 pp.31-36
SS	2004-11-25 17:00	山梨	山梨大学甲府(武田)キャンパス	融合変換を模倣するプログラム生成変換の戦略 ○長島正憲・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）	等号付き一階述語論理に基づくプログラム生成変換$\mathcal{GS}$は，一般の等式論理では扱うことのできない限量子... [more]	SS2004-33 pp.43-48

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

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

IEICE / 電子情報通信学会