和崎 克己 | 信州大 工
スポンサーリンク
概要
関連著者
-
和崎 克己
信州大学工学部
-
和崎 克己
信州大 工
-
師玉 康成
信州大
-
師玉 康成
信州大学 工学部
-
師玉 康成
信州大学工学部情報工学科
-
師玉 康成
信州大学工学部
-
和? 克己
信州大学大学院工学系研究科情報工学専攻
-
和崎 克己
信州大学大学院工学系研究科
-
和崎 克己
信州大学大学院・情報工学
-
新村 正明
信州大学e-Learningセンター
-
中村 正幸
長野県工業技術総合センター
-
中村 正幸
長野県情報技術試験場 設計技術部
-
中村 正幸
長野県情報技術試験場
-
新村 正明
信州大学工学部
-
不破 泰
信州大学大学院工学系研究科
-
不破 秦
信州大学工学部情報工学科
-
栄永 清志
菱星通信システム(株)
-
栄永 清志
三菱電線工業(株)
-
清水 洋
長野県情報技術試験場設計技術部
-
清水 洋
長野県情報技術試験場 設計技術部
-
栄永 清志
三菱電線工業
-
滝沢 龍一
長野県情報技術試験場設計技術部
-
國宗 永佳
信州大学大学院工学系研究科
-
中村 八束
信州大学工学部
-
山口 真之介
九州工業大学 情報工学部
-
中村 八束
信州大学工学部情報工学科
-
宮本 直樹
信州大学大学院工学系研究科
-
白鳥 航亮
信州大学大学院工学系研究科
-
山口 真之介
九州工業大学大学院情報工学研究院
-
山口 真之介
九州工業大学
-
山下 剛
信州大学工学部情報工学科
-
楊 毓英
長野県情報技術試験場
-
楊 航英
長野県情報技術試験場
-
岩本 一樹
日本コンピュータセキュリティリサーチ
-
師玉 康成
信州大学大学院工学系研究科
-
和崎 克己
信州大学
-
三輪 辰雄
株式会社アルファネット
-
遠藤 登
岐阜工業高等専門学校
-
和〓[サキ] 克己
信州大学大学院工学系研究科
-
不破 秦
信州大学大学院工学系研究科
-
岩本 一樹
日本コンピュータセキュリティリサーチ株式会社:信州大学大学院総合工学系研究科
-
金田 忠裕
大阪府立高専
-
里中 直樹
大阪府立工業高等専門学校
-
國宗 永佳
信州大学工学部
-
杉浦 公彦
大阪府立高専機械システムコース
-
滝田 好宏
防衛大学校情報工学科
-
滝沢 正臣
信州大学医学部放射線医学教室
-
大下 眞二郎
信州大学工学部
-
滝沢 正臣
信州大学病院 医療情報部
-
山本 由美子
浜松学院大学現代コミュニケーション学部
-
滝沢 正臣
信州大学医学部附属病院医療情報部
-
滝沢 正臣
信州大学医学部医療情報部
-
滝澤 正臣
松本歯科大学歯科放射線学講座
-
滝沢 正臣
信州大学医学部
-
山本 孝一
浜松学院大学短期大学部幼児教育科
-
梅本 敏孝
メカトロニクスコース
-
滝沢 正臣
信州大学医学部附属病院放射線部
-
大下 眞二郎
信州大学工学部電気電子工学科
-
金田 忠裕
大阪府立工業高等専門学校総合工学システム学科
-
小林 英子
信州大学工学部
-
小林 亮太
信州大学工学部
-
岡崎 裕之
信州大学工学部
-
高木 秀昭
長野県工業技術総合センター
-
西川 敏行
菱星通信システム(株)
-
守山 直志
菱星通信システム(株)
-
近藤 康彦
SRI研究開発(株)
-
梅本 敏孝
大阪府立高専総合工学システム学科
-
升谷 融
山口県立徳山工業高等学校
-
國宗 永住
信州大学工学部
-
中村 ハ束
信州大学工学部
-
里中 直樹
大阪府立高専
-
廣口 和夫
大阪府立高専
-
町田 洋介
大阪府立高専
-
三浦 裕
名古屋市立大学分子神経生物学
-
楊 〓英
長野県情報技術試験場 設計技術部
-
窪田 昭真
長野県情報技術試験場 設計技術部
-
和崎 克己
信州大学 工学部
-
滝沢 正臣
信州大学
-
師玉 康成
信州大学
-
廣口 和夫
総合工学システム学科技術教育支援室
-
滝田 好宏
防衛大学院 情報工学科
-
岡崎 裕之
信州大学大学院工学系研究科情報工学専攻
-
里中 直樹
大阪府立工業高等専門学校総合工学システム学科システムデザインコース
-
師玉 康成
長野県情報技術試験場
-
下井 信浩
東京工業高等専門学校機械情報専攻科
-
滝沢 正臣
信州大学病院医療情報部
-
杉浦 公彦
大阪府立高専
-
滝田 好宏
防衛大
-
岩本 一樹
広島大学大学院工学研究科情報工学専攻博士課程
-
三浦 裕
名古屋市立大学 医学部分子医学研究所
-
不破 泰
信州大学大学院工学系研究科情報工学専攻
-
下井 信浩
東京工業高等専門学校機械情報システム専攻科
-
花里 貴裕
信州大学工学部
-
山田 豊
信州大学大学院工学系研究科
-
滝田 好宏
防衛大学校
-
西田 翔
信州大学大学院工学系研究科情報工学専攻
-
關屋 貴詞
信州大学大学院工学系研究科
-
小林 巧
信州大学大学院工学系研究科
-
小林 一平
信州大学大学院工学系研究科
-
山田 豊
(株)プラグマティック・テクノロジーズ
-
井出 和人
信州大学大学院理工学系研究科
-
堀内 維作
信州大学大学院工学系研究科
-
魚住 有記歌
株式会社スターインフォテック
-
西田 翔
信州大学大学院工学系研究科
著作論文
- 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
- IP アドレスを持たない認証ゲートウェイについて
- IPアドレスを持たない認証ゲートウェイについて
- (202)OTC医薬品販売教育における学習者問題作成型e-learning教材の開発(セッション58 コンピュータ援用教育I)
- 広選択度広帯域マイクロストリップラインフィルタによるCATV上り拡張アンプに関する研究(ネットワークプロセッサ,通信のための信号処理,及び一般)
- 広選択度広帯域マイクロストリップラインフィルタによるCATV上り拡張アンプに関する研究(ネットワークプロセッサ,通信のための信号処理,及び一般)
- 広選択度広帯域マイクロストリップラインフィルタによるCATV上り拡張アンプに関する研究(ネットワークプロセッサ,通信のための信号処理,及び一般)
- 拡張ペトリネットを用いた情報収集の為の分散アルゴリズムの設計
- Moodle用数理演習モジュールを用いたWeb上での数理教育手法(ユビキタス・モバイル学習環境/一般)
- 形式化数学言語システムMizarを用いたCMS/Moodleの数理演習モジュール開発(e-learning/一般)
- GHz帯長距離漏洩同軸ケーブルを用いた高速防災無線情報システムの研究開発
- B-7-80 高速防災無線情報システム向け2.4GHz帯長距離漏洩同軸ケーブル(B-7.情報ネットワーク,一般講演)
- 拡張ペトリネットとJava/PNMLによる並列システムの構成手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 7-213 信州大学インターネット大学院・大学の現状(オーガナイズドセッション「バーチャルユニバーシティ」)
- IEEE802.11g 無線 LAN を用いた山間地拠点間接続の長距離化(ネットワークプロセッサ, 通信のための信号処理, 符号理論, 一般)
- IEEE802.11g 無線 LAN を用いた山間地拠点間接続の長距離化(ネットワークプロセッサ, 通信のための信号処理, 符号理論, 一般)
- IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化(ネットワークプロセッサ, 通信のための信号処理, 符号理論, 一般)
- IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
- IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
- IEEE802.11g無線LANを用いた山間地拠点間接続の長距離化
- IP アドレスを持たない認証ゲートウェイについて
- 信州大学インターネット大学院における学習進捗状況管理システム (eラーニングの実践報告とシステム公開デモセッション)
- 自己組織化マップを用いたニューラルネットワークによる高分子物性予測(OS4b 逆問題解析手法の開発と最新応用)
- (204)情報セキュリティマネジメント向けe-learning教育用コンテンツの作成 : 高校生に対する情報社会に参画する態度の育成(セッション58 コンピュータ援用教育I)
- (73)信州大学インターネット大学院におけるCAIサーバの高信頼性化(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- (72)個別の学習進捗に対応したe-Learning教材表示制御システム(セッション21 e-ラーニング(インターネット・マルチメディア利用教育を含む)I)
- 拡張ペトリネットによる並列システム設計とエンジンプログラムの試作(コンカレント工学理論と応用一般)
- [特別講演]信州大学インターネット大学院におけるサーバ運用の高信頼化について(リッチメディア,信頼性・セキュリティ,一般)
- 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について
- 2P1-A03 高所レスキューを題材としたロボット製作
- ネットワークサービスの可視化を主眼に置いた戦略的監視手法の提案 (インターネットアーキテクチャ)
- 長距離無線LANと広域CATV通信網接続による山岳医療情報ネットワークの構築
- C-011 上位ハードウェア設計言語Melasy+による自己回復機能付きFIFOメモリの記述と検証(ハードウェア・アーキテクチャ,一般論文)
- B-020 UML記述の仕様からSPINモデル検査用PROMELAモデルへの自動変換(B分野:ソフトウェア,一般論文)
- 人道的埋設地雷探知技術
- 学習進捗状況に基づいたe-Learning教材表示制御システム (組織内教育におけるe-Learningの新しい展開)
- ハードウェア化を想定したk-SD数の拡張(リッチメディア,信頼性・セキュリティ,一般)
- 遠隔講義におけるストリーミングメディアと電子出版物の連動手法 (シミュレーション(Virtual Reality、ゲームを含む))
- C-002 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証(C分野:ハードウェア・アーキテクチャ,一般論文)
- 1M-4 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1M-3 上位ハードウェア設計言語Melasy+に対する仕様パターン埋め込みと展開(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 情報リテラシ教育向け大規模エージェントベースシステムの開発と評価--テンプレートマッチング処理を用いた学習結果自動収集の改善 (新しい学習/教育活動を可能にするICT活用とその評価/一般)
- UMLアクティビティ図からSPINモデル検査用コードの自動生成とWebアプリケーション設計への適用(次世代経営情報技術,一般)
- マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出(マルウェア解析,インターネットセキュリティ,一般)
- マルウェアアンパッキングにおけるランタイムライブラリのコード比較によるオリジナルエントリーポイント検出(マルウェア解析,インターネットセキュリティ,一般)
- 上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法(提案型エンタプライズモデリング ワークショップ)
- 上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法
- 静的解析により抽出されたAPI推移に基づくマルウェアの分類
- 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証
- B-028 UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング(テスト・検証・解析,B分野:ソフトウェア)
- RA-003 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装(数理モデル(2),A分野:モデル・アルゴリズム・プログラミング)
- B-006 ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証(テスト・検証,B分野:ソフトウェア)
- B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)
- B-028 UMLシーケンス図の構造記述から線形時相論理式への自動変換手法(ソフトウェアサイエンス,B分野:ソフトウェア)
- C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- C-006 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)