| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| QIT (第二種研究会) |
2020-12-11 16:20 |
ONLINE | オンライン開催 | 任意の分離可能状態を生成できる量子もつれ破壊通信路の指数的複雑性 ～ Disentangler 仮説ヘの応用 ～ ○秋笛清石・加藤 豪・谷 誠一郎（NTT） |
量子de Finetti定理は、交換可能な量子複合系の一部を捨てるという物理過程$¥Gamma$の量子もつれ{¥bf 解... [more] | |
| DC, SS (共催) |
2019-10-24 14:55 |
熊本 | 熊本大学 | 存在限量子付き等式を証明するための書換え帰納法の拡張 ○西江一志・西田直樹・酒井正彦（名大）  SS2019-17 DC2019-45 |
本稿では，等式を証明するための書換え帰納法を存在限量子付き等式を証明できるように拡張する．具体的にはまず，論理制約付き項... [more] | SS2019-17 DC2019-45 pp.25-30 |
| EMD, R (共催) |
2019-02-15 14:30 |
大阪 | パナソニック企業年金基金 松心会館 | 同一周波数の強電界環境下における中波送信アンテナインピーダンス測定に関する一手法 ～ システムの信頼性向上に向けて ～ ○有田 渉・清水一馬・野崎和彦・内海俊人（NHK）・白窪大司・矢野史也（NHKアイテック）・金森香子・山添雅彦（NHK） R2018-55 EMD2018-56 |
中波送信システムの信頼性を確保するためには、送信アンテナを含めた保全が重要である。 しかし、保全にあたり、同一周波数... [more] |
R2018-55 EMD2018-56 pp.19-24 |
| KBSE | 2018-01-25 14:20 |
東京 | 機械振興会館 | 定理証明技術を用いたソースコードの補完手法の提案 ○小池遼平（早大）・小野康一（日本IBM）・深澤良彰（早大） KBSE2017-33 |
ソフトウェア開発を効率的に行うための技術の1つにコード補完がある．コード補完とは記述中のソースコードの不足部分を自動的に... [more] | KBSE2017-33 pp.7-11 |
| SS | 2015-03-10 09:55 |
沖縄 | 沖縄県青年会館 | 制約付き項書換え系における関数合成の可換性を自動証明するためのヒューリスティック ○栗木隆太朗・西田直樹・酒井正彦・坂部俊樹（名大） SS2014-70 |
制約付き項書換え系における帰納的定理を書換え帰納法で検証するには,適切な補題等式を与える必要がある場合が多い.制約付き項... [more] | SS2014-70 pp.91-96 |
| MSS, SS (共催) |
2015-01-26 18:10 |
鳥取 | ブランナールみささ | An approach to Application of Inductive Logic Programming to Characterization of Reachable States ○Dung Tuan Ho（JAIST）・Min Zhang（ECNU）・Kazuhiro Ogata（JAIST） MSS2014-79 SS2014-43 |
[more] | MSS2014-79 SS2014-43 pp.61-66 |
| SS | 2010-10-14 17:00 |
岩手 | 岩手県立大学 | ［招待講演］近年の一階論理定理証明プログラムの実際 ○岩沼宏治（山梨大） SS2010-33 |
本稿では近年発展を遂げてきた一階論理定理証明システム，特に，応用上極めて重要な等号推論システムについて概説を行う．現在ま... [more] | SS2010-33 pp.31-36 |
| SS | 2010-03-08 11:40 |
鹿児島 | 鹿児島大学 郡元キャンパス | 共通記号を持つ背景理論の決定手続きの結合法とその効率化について ○岩沼宏治（山梨大） SS2009-67 |
Nelson-Oppen 法は複数の背景理論の決定手続きを結合する代表的な手法であり，近年盛んに研究されているSMT(S... [more] | SS2009-67 pp.115-120 |
| SS, KBSE (共催) |
2006-10-26 13:40 |
愛媛 | 愛媛大学 | 手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み ○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大） |
項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法など が広く研究されている．２つの異なる関数が任意... [more] |
SS2006-41 KBSE2006-17 pp.7-12 |
| CPSY, VLD, IPSJ-SLDM (共催) |
2005-01-25 15:50 |
神奈川 | 慶應義塾大学 日吉キャンパス | FPGA上に実装されたPCMGTPを用いたSAT問題の解決 ○木之下昇平・松田純一・藤田 博・越村三幸・長谷川隆三（九大） |
本論文では，FPGA上に実装された定理証明器PCMGTP（Propositional Constraint Model ... [more] | VLD2004-107 CPSY2004-73 pp.57-62 |
| AI | 2004-06-21 14:35 |
東京 | 機械振興会館 | 抽象モデル生成による節集合の前処理 ○梅田眞由美・越村三幸・長谷川隆三（九大） |
節集合を抽象化して得られる抽象節集合のエルブランモデルが，節集合の前処理に利用できることを示す．自動定理証明(Autom... [more] | AI2004-7 pp.33-38 |
[研究会発表申込システムのトップページに戻る]