| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, CAS, SIP, VLD (共催) |
2019-07-31 14:55 |
岩手 | 岩手大学 | マークグラフ被覆可能な構造に対する閉路フロー演算を用いたペトリネットの構造的活性・有界性解析 ○張江洋次朗・和﨑克己（信州大）  CAS2019-18 VLD2019-24 SIP2019-34 MSS2019-18 |
[more] | CAS2019-18 VLD2019-24 SIP2019-34 MSS2019-18 pp.77-82 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-12 15:50 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 閉路フロー行列変換によるペトリネットの安定部分ネットの検知 ○張江洋次朗・和﨑克己（信州大） CAS2018-64 MSS2018-40 |
ペトリネットは，離散事象システムを表現・解析が可能な数学的手法の一つである.ペトリネットの動的解析には初期状態からの振る... [more] | CAS2018-64 MSS2018-40 pp.37-42 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-12 16:15 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 一般ペトリネットにおける可達グラフ生成プロセスのメモリ効率化手法 ○藤森浩平・張江洋次朗・和崎克己（信州大） CAS2018-65 MSS2018-41 |
本学で開発されたペトリネット設計ツールHiPS (Hierarchical Petri net Simulator) の... [more] | CAS2018-65 MSS2018-41 pp.43-47 |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 | 神戸情報大学院大学 | ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己（信州大） CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った．HiPSは筆... [more] | CAS2016-63 MSS2016-43 pp.31-35 |
| SS, MSS (共催) |
2016-01-25 15:45 |
石川 | しいのき迎賓館 セミナールームB | 線形時相論理式からイベントベースオートマトンへの変換を利用したペトリネット検証ツールHiPS向けon-the-flyモデル検査器 ○張江洋次朗・和崎克己（信州大） MSS2015-46 SS2015-55 |
本稿では，ペトリネットより生成される状態空間を対象に，線形時相論理式によるon-the-flyモデル検査器の設計について... [more] | MSS2015-46 SS2015-55 pp.63-68 |
| SWIM | 2011-11-18 10:30 |
東京 | 東海大学 高輪キャンパス | 上流設計からモデル検査プロセスまでの一貫設計検証環境 ～ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ～ ○宮本直樹・和崎克己（信州大） SWIM2011-19 |
SPIN モデル検査器を実行するには，専用の仕様記述言語 PROMELA で対象モデルを記述する．また，検査対象の仕様の... [more] | SWIM2011-19 pp.7-12 |
| IA, ICSS (共催) |
2011-06-17 13:00 |
福岡 | 九州工業大学 | マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出 ○岩本一樹（日本コンピュータセキュリティリサーチ/信州大）・和崎克己（信州大） IA2011-10 ICSS2011-10 |
多くのマルウェアはパッカーと呼ばれるコードを圧縮し難読化するプログラムでパックされており，そのままでは解析できない． ... [more] |
IA2011-10 ICSS2011-10 pp.57-62 |
| SWIM | 2011-02-25 13:25 |
東京 | 機械振興会館 | UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用 ○山田 豊・和崎克己（信州大） SWIM2010-29 |
UMLアクティビティ図は、ワークフローの表現に適しており、分析・設計から実装に至るまでの開発の各段階において振る舞いを表... [more] | SWIM2010-29 pp.23-28 |
| MSS, CAS (共催) |
2009-11-27 15:15 |
愛知 | 名古屋大学 | 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計 ○山口真之介（九工大）・和崎克己・師玉康成（信州大） CAS2009-59 CST2009-32 |
[more] | CAS2009-59 CST2009-32 pp.83-88 |
| ET | 2009-03-07 15:35 |
香川 | 香川大 | Moodle用数理演習モジュールを用いたWeb上での数理教育手法 ○三輪辰雄（アルファネット）・小林英子・小林亮太・岡崎裕之（信州大）・遠藤 登（岐阜高専）・和崎克己・師玉康成（信州大） ET2008-129 |
我々は，形式化数学の記述言語であるMizar 言語を利用し数理論的思考を涵養する為のWeb 用教材とし て，Moodl... [more] |
ET2008-129 pp.211-215 |
| ET | 2008-10-17 11:20 |
岡山 | 岡山理科大 | 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発 ○三輪辰雄（アルファネット）・和崎克己（信州大）・遠藤 登（岐阜高専）・師玉康成（信州大） ET2008-41 |
我々は，形式化数学の記述言語であるMizar言語を学習するために，オープンソースのコースマネージメントシステムとして知ら... [more] | ET2008-41 pp.11-16 |
| ISEC | 2007-12-19 17:00 |
東京 | 機械振興会館 | コンピュータウイルスのコード静的解析による特徴抽出と分類について ○岩本一樹（日本コンピュータセキュリティリサーチ）・和崎克己（信州大） ISEC2007-127 |
コンピュータウイルスの亜種判定について、コード内のAPI呼び出しや制御フローを静的解析することにより、特徴抽出と種の分類... [more] | ISEC2007-127 pp.107-113 |
| MSS | 2006-06-02 11:15 |
石川 | 石川ハイテク交流センター | 拡張ペトリネットとJava/PNMLによる並列システムの構成手法 ○山口真之介（九工大）・和崎克己・師玉康成（信州大） |
[more] | CST2006-9 pp.19-24 |
| CS, CAS, SIP (共催) |
2005-03-15 13:35 |
岡山 | 岡山県立大学 | IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化 ○中村正幸（長野県情報技術試験場）・栄永清志（三菱電線工業）・滝沢龍一・清水 洋（長野県情報技術試験場）・和崎克己・師玉康成（信州大） |
都市部を中心にADSL、FTTH等のブロードバンドネットワークの普及が急速の進んでいる．しかし、中山間地や離島においては... [more] | CAS2004-107 SIP2004-150 CS2004-243 pp.59-62 |
| NS, IN (共催) |
2005-03-04 10:10 |
沖縄 | 残波岬ロイヤルホテル（沖縄） | IPアドレスを持たない認証ゲートウェイについて ○山下 剛・新村正明・國宗永佳・和崎克己・不破 泰（信州大） |
セキュリティを確保するため，認証ゲートウェイによりオフィスにおけるネットワーク利用の制限を行う事例が多くなりつつある．こ... [more] | NS2004-269 IN2004-269 pp.131-134 |
| MSS | 2004-08-05 14:00 |
北海道 | 北海学園大学 | 拡張ペトリネットによる並列システム設計とエンジンプログラムの試作 ○山口真之介（九工大）・和崎克己・師玉康成（信州大） |
[more] | CST2004-16 pp.1-6 |
[研究会発表申込システムのトップページに戻る]