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

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

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

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

[Japanese] / [English]

（

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

）→

（

講演検索

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

）→

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

講演検索結果

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

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS, KBSE (共催)	2006-10-26 13:40	愛媛	愛媛大学	手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み ○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）	項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法などが広く研究されている．２つの異なる関数が任意... [more]	SS2006-41 KBSE2006-17 pp.7-12
SS, KBSE (共催)	2006-10-26 14:05	愛媛	愛媛大学	例外処理付きオブジェクト指向言語における情報流の安全性解析 ○黒川　翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	本稿では，例外処理を含むオブジェクト指向プログラムから機密度の高いデータが外部へ漏洩しないことを検証する型システムを提案... [more]	SS2006-42 KBSE2006-18 pp.13-18
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	2006-06-22 14:45	岡山	岡山大学創立五十周年記念館	単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け ○櫻井敬大・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）	[more]	SS2006-15 pp.13-18
SS	2006-04-20 16:10	新潟	新潟大学五十嵐キャンパス	強計算依存対法による高階書換え系の停止性証明 ○磯谷泰巨・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）	項書換え系は関数プログラムの計算モデルであり，その停止性は重要な性質の１つである．停止性証明法の１つに依存対法と呼ばれる... [more]	SS2006-6 pp.31-36
SS	2006-02-02 16:45	福岡	福岡知的クラスター研究所	項正規表現に基づくSpi計算の機密性検証 ○田代善彦・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	[more]	SS2005-82 pp.35-40
SS	2006-02-03 10:30	福岡	福岡知的クラスター研究所	関数プログラムの停止性証明のための辞書式経路順序 ○星野由美・草刈圭一朗・酒井正彦・坂部俊樹・西田直樹（名大）	項書き換え系は関数プログラムの計算モデルであり，停止性はその重要な性質の一つである．停止性証明法の一つに簡約化順序によっ... [more]	SS2005-85 pp.13-18
COMP	2005-12-22 11:25	徳島	徳島大学	Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related ○Yi Wang・Masahiko Sakai・Naoki Nishida・Keiichirou Kusakari・Toshiki Sakabe（Nagoya Univ.）	本稿では，左線形シャロー項書換え系の停止性が決定可能であることを示す．本手法の手続きは依存グラフにおける引数の伝播の分析... [more]	COMP2005-50 pp.9-13
SS	2005-12-19 14:30	高知	高知女子大	暗号プロトコル記述からカラーペトリネットへの変換による機密性検証 ○奥谷大介・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	カラーペトリネット（CPN）の可達性判定は決定可能であるので，暗号プロトコルの安全性をカラーペトリネットの可達性判定... [more]	SS2005-58 pp.19-24
SS	2005-12-20 11:15	高知	高知女子大	分散JoinJAVAプログラムの通信エラーに対する型判定システム ○佐伯昌樹・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	分散JoinJAVAはJoin算法をJAVAの記述が出来るよう拡張した言語である．JAVA プログラムでは複雑となる... [more]	SS2005-67 pp.25-30
SS	2005-10-13 16:15	埼玉	十文字学園 6号館	重なりを持つTRSにおける最外戦略の完全性について ○岩田篤史・酒井正彦・西田直樹・草刈圭一朗・坂部俊樹（名大）	項書換え系（TRS）において，戦略は与えられた項の書換え可能な位置のうち書換えるべき位置を指示する．重なりを持つTRSで... [more]	SS2005-46 pp.39-44
SS	2005-08-04 14:00	北海道	小樽商科大学 407教室	Decidability of Termination for Semi-Constructor Term Rewriting Systems ○Yi Wang・Masahiko Sakai・Naoki Nishida・Keiichirou Kusakari・Toshiki Sakabe（Nagoya Univ.）	[more]	SS2005-26 pp.13-18
SS	2005-06-24 10:45	長野	信州大学太田国際記念館	強計算性に基づいた単純型項書換え系の停止性証明法 ○草刈圭一朗・櫻井敬大・西田直樹・酒井正彦・坂部俊樹（名大）	停止性を持つ関数プログラムは評価を安全に実行できるだけでなく，様々な性質を検証する際に帰納法の土台として簡約関係自体を利... [more]	SS2005-21 pp.19-24
SS	2005-06-24 11:15	長野	信州大学太田国際記念館	難読プログラミング言語Malbolgeにおけるプログラム構成手法 ○飯澤　恒・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	プログラミング言語Malbolge は，意図的に言語仕様を難解に設計し，その言語上でのプログラムの作成や解読を困難にする... [more]	SS2005-22 pp.25-30
SS	2005-06-24 11:45	長野	信州大学太田国際記念館	ナローイング計算の停止性証明のための依存グラフ法 ○三浦浩一・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）	項書換え系（TRS）を右辺のみに現れる変数を持つ書換え規則を含むように拡張した余剰変数付き項書換え系（EV-TRS）は逆... [more]	SS2005-23 pp.31-36
SS	2005-04-22 12:35	和歌山	和歌山県立情報交流センター	モデル生成に基づくJavaScriptプログラムの型検査系 ○大久保弘崇・山本晋一郎（愛知県立大）・坂部俊樹（名大）・稲垣康善（愛知県立大）	[more]	SS2005-11 pp.25-30
SS	2004-11-25 17:00	山梨	山梨大学甲府(武田)キャンパス	融合変換を模倣するプログラム生成変換の戦略 ○長島正憲・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）	等号付き一階述語論理に基づくプログラム生成変換$\mathcal{GS}$は，一般の等式論理では扱うことのできない限量子... [more]	SS2004-33 pp.43-48
SS	2004-08-02 16:45	北海道	はこだて未来大学	モデル生成に基づくJavaScriptプログラム型検査のためのフロントエンド ○大久保弘崇・山本晋一郎（愛知県立大）・坂部俊樹（名大）・稲垣康善（愛知県立大）	[more]	SS2004-13 pp.41-46
SS	2004-08-03 13:00	北海道	はこだて未来大学	On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems ○Naoki Nishida・Masahiko Sakai・Toshiki Sakabe（Nagoya Univ.）	条件付き項書換え系（CTRS）から項書換え系（TRS）への変換は紐解き変換（unraveling）と呼ばれる． ... [more]	SS2004-18 pp.25-30

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

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

IEICE / 電子情報通信学会