| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2023-01-11 13:30 |
大阪 | 大阪市立生涯学習センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦（名大）  MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する．まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] | MSS2022-56 SS2022-41 pp.66-71 |
| SS, MSS (共催) |
2022-01-12 09:40 |
長崎 | 長崎県建設総合会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
LLVM中間表現の意味論規則を表現する制約付き書換え規則について ○加藤拓洋・西田直樹・酒井正彦（名大） MSS2021-47 SS2021-34 |
C言語に沿った簡易プログラミング言語を論理制約付き項書換え系（LCTRS）に変換し，元のプログラムの性質をLCTRSの性... [more] | MSS2021-47 SS2021-34 pp.89-94 |
| MSS, SS (共催) |
2021-01-27 15:00 |
ONLINE | オンライン開催 | 擬ブール制約の導入による組合せ最適化ソルバCombSQL+の高速化 ○岸 潤一郎・酒井正彦・西田直樹・橋本健二（名大） MSS2020-40 SS2020-25 |
著者らはこれまでに，拡張したSQLで組合せ最適化問題を簡単に記述でき，かつ効率的に解くことのできる求解系CombSQL+... [more] | MSS2020-40 SS2020-25 pp.66-71 |
| SS | 2020-03-04 13:50 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
マクロ森変換器がXMLスキーママッピングの実現であることの決定手続き ○田端浩明・酒井正彦・橋本健二（名大） SS2019-43 |
XML スキーママッピング（SM）は異なる2つのXMLスキーマ DTD の対応付けを木パターンを用いて記述したものである... [more] | SS2019-43 pp.13-18 |
| SS | 2020-03-04 15:10 |
沖縄 | てんぶす那覇 （開催中止，技報発行あり） |
排他制御を含むプログラムから論理制約付き項書換え系への変換 ○小嶋美咲・西田直樹・松原 豊・酒井正彦（名大） SS2019-46 |
計算モデルである論理制約付き項書換え系（LCTRS）をプログラムの検証に用いる先行研究では，逐次実行される命令型プログラ... [more] | SS2019-46 pp.31-36 |
| DC, SS (共催) |
2019-10-24 14:55 |
熊本 | 熊本大学 | 存在限量子付き等式を証明するための書換え帰納法の拡張 ○西江一志・西田直樹・酒井正彦（名大） SS2019-17 DC2019-45 |
本稿では，等式を証明するための書換え帰納法を存在限量子付き等式を証明できるように拡張する．具体的にはまず，論理制約付き項... [more] | SS2019-17 DC2019-45 pp.25-30 |
| SS | 2019-03-04 16:45 |
沖縄 | 沖縄産業支援センター | 組合せ最適化問題の記述からSMTソルバの入力式を生成するSQL問合せ ○坂梨元軌・酒井正彦・西田直樹・橋本健二（名大） SS2018-66 |
著者らはこれまでに，組合せ最適化問題を簡単に記述でき，かつ効率的に解く手法を開発すること目的として，SQLを基礎とした言... [more] | SS2018-66 pp.85-90 |
| MSS, SS (共催) |
2019-01-16 09:25 |
沖縄 | 沖縄県青年会館 | 論理制約付き書換えにおける構造体および共用体の表現について ○金澤慶明・西田直樹・酒井正彦（名大） MSS2018-67 SS2018-38 |
近年，項書換え系への変換に基づいた手続き型のプログラムの検証について研究が行われており，実行の中間状態を表現する項から制... [more] | MSS2018-67 SS2018-38 pp.67-72 |
| MSS, SS (共催) |
2019-01-16 09:50 |
沖縄 | 沖縄県青年会館 | 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 ○前田侑也・西田直樹・酒井正彦・小林倫也（名大） MSS2018-68 SS2018-39 |
項書換え系（TRS）のナローイング計算とは，書換えに必要な代入を単一化により求め，その代入を適用して書換えを行う計算であ... [more] | MSS2018-68 SS2018-39 pp.73-78 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 15:50 |
北海道 | 函館コミュニティプラザ | 制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈 ○笹野智裕・西田直樹・酒井正彦・上山智也（名大） SS2017-17 KBSE2017-17 |
制約付き項書換え系の停止性証明の枠組みである依存対フレームワークでは，関数呼び出しの関係を表現した依存鎖を下限付き整数減... [more] | SS2017-17 KBSE2017-17 pp.139-144 |
| SS, KBSE (共催) IPSJ-SE (連催) [詳細] |
2017-07-20 16:15 |
北海道 | 函館コミュニティプラザ | 再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ ○坂梨元軌・河邉翔平・酒井正彦・西田直樹・橋本健二（名大） SS2017-18 KBSE2017-18 |
難読プログラミング言語Malbolgeは，その解析困難性により知的財産権の保護などに役立つと考えられているが，命令が特殊... [more] | SS2017-18 KBSE2017-18 pp.145-150 |
| SS | 2017-03-09 09:55 |
沖縄 | てんぶす那覇 | モデル計数を用いた量的情報流解析のための論理式簡約と静的解析 ○中島聖斗・橋本健二・酒井正彦・関 浩之（名大） SS2016-61 |
プログラムの量的情報流（QIF）解析手法の一つとして，プログラムを背景理論付き論理式へ変換しプログラムの出力値を表す論理... [more] | SS2016-61 pp.7-12 |
| DC, SS (共催) |
2016-10-27 15:30 |
滋賀 | 彦根勤労福祉会館(彦根市) | #SMTツールを用いた量的情報流解析手法の高速化 ○中島聖斗・Trung Chu Bao・橋本健二・酒井正彦・関 浩之（名大） SS2016-26 DC2016-28 |
プログラムの量的情報流（QIF）を解析する手法の一つとして，プログラムを背景理論付き論理式へ変換し出力変数に投射したモデ... [more] | SS2016-26 DC2016-28 pp.49-54 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2016-07-14 13:40 |
北海道 | 北海道立道民活動センター | 難読性の高いMalbolgeコードを生成するコンパイラのための中間言語 ○河邉翔平・酒井正彦・西田直樹・関 浩之（名大） SS2016-12 KBSE2016-18 |
[more] | SS2016-12 KBSE2016-18 pp.105-110 |
| SS | 2016-03-10 10:50 |
沖縄 | 沖縄県立宮古青少年の家 | 組合せ最適化問題記述のためのSQLの拡張 ○内田佑作・酒井正彦・西田直樹（名大） SS2015-80 |
近年，充足可能性判定ソルバの高速化がめざましい． しかしながらこれらのソルバを用いて組合せ最適化問題を解くための論理式... [more] |
SS2015-80 pp.25-30 |
| SS | 2016-03-10 11:15 |
沖縄 | 沖縄県立宮古青少年の家 | 拡張Farkas補題の部分適用による非線形ループ不変式生成を用いたプログラム検証 ○柳澤真志・西田直樹・酒井正彦（名大） SS2015-81 |
ループ不変式を生成するための手法として，与えたテンプレートと事前条件と事後条件から得られる検証式をFarkas補題に基づ... [more] | SS2015-81 pp.31-36 |
| SS, MSS (共催) |
2016-01-25 16:45 |
石川 | しいのき迎賓館 セミナールームB | 制約付き項書換え系における停止性と帰納的定理の同時証明 ○川本佳史・西田直樹・酒井正彦（名大） MSS2015-48 SS2015-57 |
[more] | MSS2015-48 SS2015-57 pp.75-80 |
| SS, MSS (共催) |
2016-01-25 17:10 |
石川 | しいのき迎賓館 セミナールームB | A method for making proof graph finite on disjunctive parameterised Boolean equation systems ○Yutaro Nagae・Masahiko Sakai・Hiroyuki Seki（Nagoya Univ.） MSS2015-49 SS2015-58 |
A parameterised Boolean equation system (PBES) is a set of e... [more] | MSS2015-49 SS2015-58 pp.81-85 |
| SS, MSS (共催) |
2016-01-26 11:05 |
石川 | しいのき迎賓館 セミナールームB | ナローイングによる制約付き依存対の変換 ○笹野智裕・西田直樹・酒井正彦（名大） MSS2015-57 SS2015-66 |
項書換え系の停止性証明の枠組みである依存対フレームワークは項書換え規則に制約を付随させた制約付き項書換え系を対象に拡張さ... [more] | MSS2015-57 SS2015-66 pp.123-128 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2015-07-24 11:10 |
北海道 | 札幌市教育文化会館 | パターン除去による制約付き項書換え系の等価変換 ○長尾貴浩・西田直樹・酒井正彦（名大） SS2015-33 KBSE2015-26 |
制約付き項書換え系は整数制約などにより規則の適用を制御できるように項書換え系を拡張した枠組みである．書換え規則の左辺に現... [more] | SS2015-33 KBSE2015-26 pp.167-172 |
[研究会発表申込システムのトップページに戻る]