| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2022-03-07 13:40 |
ONLINE | オンライン開催 | 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法 ○蔭山信二・新田直也（甲南大）  SS2021-47 |
コンポーネント間のデータ転送を PUSH 型で行うか PULL 型で行うかの選択は, システム全体の構造と最終的に得られ... [more] | SS2021-47 pp.31-36 |
| SIP | 2020-08-27 16:00 |
ONLINE | オンライン開催 | ［招待講演］計算機性能を引き出す画像処理プログラミング ○杉本憲治郎（早大） SIP2020-33 |
計算機アーキテクチャの複雑化に伴い，その計算機性能を十分に引き出すには並列計算機構やパイプライン処理等を意識したより高度... [more] | SIP2020-33 p.17 |
| EMM | 2020-03-06 09:40 |
沖縄 | 大濱信泉記念館（石垣島） （開催中止，技報発行あり） |
マックスプラス代数系に基づくモルフォロジカル・ウェーブレット変換を用いた電子透かしにおける中間周波数の利用とその応用について ○前山勝也・藤田智弘・小倉 武（立命館大）・Venugopala P.S（NMAMIT）・熊木武志（立命館大） EMM2019-125 |
近年,SNS (Social Network Service) の急速な普及と画像処理技術の発展により, 画像コンテンツ... [more] | EMM2019-125 pp.123-128 |
| KBSE, SS (共催) IPSJ-SE (連催) [詳細] |
2018-07-18 11:30 |
北海道 | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 | 時間付き可逆プロセス計算 ○山本 暁・結縁祥治（名大） SS2018-5 KBSE2018-15 |
本研究では、並行動作する実時間システムに対して、可逆性を付与した効率的なデバッグのモデルとして、並行計算の形式的体系の1... [more] | SS2018-5 KBSE2018-15 pp.25-30 |
| IPSJ-BIO, IPSJ-MPS (共催) NC, IBISML (併催) (連催) ※学会内は併催 [詳細] |
2017-06-25 09:30 |
沖縄 | 沖縄科学技術大学院大学 | t指数型分布族に対する期待値伝播法 ○二見 太・佐藤一誠（東大/理研）・杉山 将（理研/東大） IBISML2017-6 |
[more] | IBISML2017-6 pp.179-184 |
| QIT (第二種研究会) |
2016-05-30 16:30 |
高知 | 高知工科大学永国寺キャンパス | 測定相関の一般的扱いについて ○岡村和弥（名大） |
この講演では，量子論における測定相関を系統的扱いを確立する試みについて紹介する。（一般化）Heisenberg描像におけ... [more] | |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2015-11-20 14:20 |
鹿児島 | 指宿市民会館 大会議室 | 分散アルゴリズムの実行列からプログラム合成とそのプログラム検証 ○山根 智（金沢大） CAS2015-50 MSS2015-24 |
分散システムの分散問題を解決する分散アルゴリズムはクラウドコンピュータやP2Pなどで多数動作しており, その正当性検証は... [more] | CAS2015-50 MSS2015-24 pp.35-40 |
| DC, SS (共催) |
2015-10-13 13:50 |
奈良 | 東大寺総合文化センター | HCCSによる再帰的ハイブリッドシステムの記述 ○川北悠人・結縁祥治（名大） SS2015-36 DC2015-26 |
連続した振舞いと通信としての離散的振舞いを記述可能なCCSの拡張としてHCCSがNestmannらによって提案されている... [more] | SS2015-36 DC2015-26 pp.7-12 |
| IT | 2015-07-14 09:30 |
東京 | 東京工業大学 | KOWエントロピーの定式化と一般化されたAOWエントロピーの数値計算について ○武藤将弘・渡邉 昇（東京理科大） IT2015-28 |
Kolmogorov-Sinaiエントロピーを量子系に拡張しようとする試みは1975年頃からエムチ,コンヌ-ストルマーら... [more] | IT2015-28 pp.67-72 |
| SIP | 2013-08-29 16:10 |
東京 | 東京農工大学 | ［チュートリアル講演］Tensor-Based Machine Learning: Modeling, Algorithms and Applications ○Qibin Zhao・Andrzej Cichocki（RIKEN） SIP2013-73 |
Tensors are a generalization of vectors and matrices to high... [more] | SIP2013-73 pp.35-40 |
| KBSE | 2013-05-31 14:45 |
神奈川 | 慶應義塾大学 | ヒューマンエラーに対する手順書の耐性検査 ○永藤直行（プレシステム）・渡部卓雄（東工大） KBSE2013-11 |
作業手順がヒューマンエラーに対して耐性があるかどうか検査するためにモデル検証の手法を利用する．作業手順には，ヒューマンエ... [more] | KBSE2013-11 pp.61-66 |
| SIP, RCS (共催) |
2013-02-01 13:50 |
広島 | ビューポートくれ（呉） | テンソル同時対角化によるサンプルの重み付けを用いた脳波識別 ○冨田尚規・東 広志・田中聡久（東京農工大） SIP2012-107 RCS2012-264 |
共通空間パターン（CSP）法は，脳波を用いた脳マシンインターフェース（BMI）の有効な特徴抽出法として知られている．CS... [more] | SIP2012-107 RCS2012-264 pp.153-158 |
| MRIS, ITE-MMS (連催) |
2011-12-15 15:30 |
愛媛 | 愛媛大学 | Mathematical Analysis of Nonlinear Circuits of Spontaneous Memory Retrieval
-- An Analytic Approach Based on Algebras -- ○Jian-Qin Liu（NICT）・Haruhiko Nishimura（Univ. of Hyogo）・Hiroaki Umehara（NICT） MR2011-29 |
代数系に基づく自律的なネットワーク・アーキテクチャの情報処理メカニズムの定式化により、自発的なメモリ検索における非線形回... [more] | MR2011-29 pp.29-32 |
| AI | 2011-05-26 10:30 |
東京 | 関学東京キャンパス | ウェブ情報知識化における注意事項 ～ ビット情報と言語情報の混在ならびに知識の身体性について ～ ○得丸公明（衛星システム・エンジニア） AI2011-1 |
筆者は，言語の起源とメカニズムを解明すべく学際的研究を行なうものである．ヒトの言語とヒト以外の動物の音声コミュニケーショ... [more] | AI2011-1 pp.1-6 |
| SS | 2011-03-08 09:50 |
沖縄 | 沖縄県青年会館 | 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ ○伴 潤・結縁祥治（名大） SS2010-70 |
構造操作意味定義(Structural Operational Semantics, SOS)は並行プロセス計算の操作的... [more] | SS2010-70 pp.103-108 |
| CAS, MSS, VLD, SIP (共催) |
2010-06-22 13:20 |
北海道 | 北見工大 | 並行システムを解析するための逐次化と状態削減機能の実装 ～ 仕様の自動生成を目指して ～ ○磯部祥尚（産総研） CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 |
並行システムは逐次システムに比べてその全体の動作を把握することが難しい．そこで，並行システムが仕様を満たすことを判定する... [more] | CAS2010-25 VLD2010-35 SIP2010-46 CST2010-25 pp.139-144 |
| SWIM | 2010-06-04 14:20 |
東京 | 機械振興会館 | プロセス代数CCSによるBPELの形式化 ○山内一馬・新川芳行（龍谷大） SWIM2010-4 |
Webサービスオーケストレーション言語であるBPELによりビジネスプロセスの自動化や高度な判断処理を要する情報システムの... [more] | SWIM2010-4 pp.23-28 |
| MSS | 2010-01-21 15:00 |
愛知 | 豊田中央研究所アクタスCホール | プロセス代数CSPによるシーケンス図設計の詳細化と検証 ○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大） CST2009-40 |
ソフトウェアのモジュール構造の設計には，シーケンス図が用いられる場合が多い．本論文では，プロセス代数CSP を利用して，... [more] | CST2009-40 pp.19-24 |
| RECONF | 2008-05-22 16:40 |
福島 | 会津大学 | ［招待講演］RapidMatriX: Algebraic Path Problemのための2Dアレイプロセッサ ○宮崎敏明（会津大） RECONF2008-9 |
本稿では，行列演算，特にグラフ理論に基づく各種問題を一般化したAPP (Algebraic Path Problem) ... [more] | RECONF2008-9 pp.49-54 |
[研究会発表申込システムのトップページに戻る]