• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

吉浦 紀晃  YOSHIURA NORIAKI

ORCIDORCID連携する *注記
研究者番号 00302969
その他のID
所属 (現在) 2025年度: 埼玉大学, 理工学研究科, 教授
所属 (過去の研究課題情報に基づく) *注記 2021年度 – 2023年度: 埼玉大学, 理工学研究科, 教授
2019年度: 埼玉大学, 理工学研究科, 教授
2018年度: 埼玉大学, 大学院理工学研究科, 教授
2015年度 – 2017年度: 埼玉大学, 情報メディア基盤センター, 准教授
2012年度 – 2015年度: 埼玉大学, 理工学研究科, 准教授 … もっと見る
2011年度: 埼玉大学, 情報メディア基盤センター, 准教授
2009年度 – 2010年度: 埼玉大学, 大学院・理工学研究科, 准教授
2008年度: 埼玉大学, 理工学研究科, 准教授
2007年度: 崎玉大学, 理工学研究科, 准教授
2005年度: 群馬大学, 総合情報メディアセンター, 助教授
2001年度 – 2004年度: 群馬大学, 総合情報処理センター, 助教授
2000年度: 東京工業大学, 大学院・情報理工学研究科, 助手 隠す
審査区分/研究分野
研究代表者
情報学基礎理論 / 情報学基礎 / 計算機科学
研究代表者以外
生活科学一般 / 中区分25:社会システム工学、安全工学、防災工学およびその関連分野 / 衣・住生活学 / 理工系
キーワード
研究代表者
時間論理 / リアクティブシステム / プログラム合成 / 適切さの論理 / 仕様検証 / 仕様記述 / 実現可能性 / 数理論理学 / Coq / Liveness Property … もっと見る / Safety Property / OpenFlow / モデル検査 / プログラム化可能性 / モデルチェッキング / セキュアコンピューティング / システム検証 / 段階的充足可能性 / 形式的仕様記述 / 決定可能性 / 知識推論 … もっと見る
研究代表者以外
地域防犯 / 住環境 / Safety critical system / 防犯カメラ / プライバシー保護 / 社会システム / COVID-19 / ワクチン / 型コロナウイルス感染症 / PAPR / 集団免疫 / ロックダウン / 新型コロナウイルス感染症 / 電動ファン付き呼吸保護具 / 呼吸空気浄化デバイス / ロックダウン代替手段 / プライバシー / 安心安全まちづくり / verification and synthesis of hardware / security of cryptographic primitives / secure system architecture / security protocol / network security analysis / safe program synthesis / specification analysis / インテグリティー解析 / 耐攻撃性 / セキュリティープロトコル / 実現可能性 / JAVA / インテグリティ解析 / DoS攻撃 / 検証 / コード生成 / 非同期回路 / Dos攻撃 / ネットワークセキュリティ / 暗号方式 / 安全性検証 / ハードウェアの安全性 / 暗号方式の安全性 / 安全なシステムアーキテクチャ / セキュリティプロトコル / ネットワークの安全性解析 / 安全なプログラム合成 / 仕様解析 / 防犯カメラシステム / 安全・安心 / 防犯・危機管理 / 見守りシステム / 画像復元 / モニタリング / 危機管理 / 防犯 隠す
  • 研究課題

    (10件)
  • 研究成果

    (92件)
  • 共同研究者

    (15人)
  •  低コスト個人用呼吸空気浄化デバイス開発と,フィリピン・セブ市内の病院での運用試験

    • 研究代表者
      藤井 雄作
    • 研究期間 (年度)
      2021 – 2024
    • 研究種目
      国際共同研究加速基金(国際共同研究強化(B))
    • 審査区分
      中区分25:社会システム工学、安全工学、防災工学およびその関連分野
    • 研究機関
      群馬大学
  •  時間論理によるリアクティブシステム仕様のプログラム化可能性判定を行う証明システム研究代表者

    • 研究代表者
      吉浦 紀晃
    • 研究期間 (年度)
      2016 – 2019
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      埼玉大学
  •  プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの実現

    • 研究代表者
      藤井 雄作
    • 研究期間 (年度)
      2015 – 2017
    • 研究種目
      基盤研究(B)
    • 研究分野
      衣・住生活学
    • 研究機関
      群馬大学
  •  時間論理によるリアクティブシステム仕様のプログラム化可能性の判定とプログラム合成研究代表者

    • 研究代表者
      吉浦 紀晃
    • 研究期間 (年度)
      2013 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      情報学基礎理論
    • 研究機関
      埼玉大学
  •  プライバシー保護と見守りを両立させた防犯カメラによる安全・安心な街づくりの提案

    • 研究代表者
      田北 啓洋
    • 研究期間 (年度)
      2012 – 2014
    • 研究種目
      基盤研究(B)
    • 研究分野
      生活科学一般
    • 研究機関
      群馬大学
  •  暗号化を用いた地域社会用の新しい防犯カメラシステム

    • 研究代表者
      丸 浩一
    • 研究期間 (年度)
      2009 – 2011
    • 研究種目
      基盤研究(B)
    • 研究分野
      生活科学一般
    • 研究機関
      香川大学
      群馬大学
  •  個人所有のPC監視カメラによる自警的防犯社会の実現

    • 研究代表者
      上田 浩
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      基盤研究(B)
    • 研究分野
      生活科学一般
    • 研究機関
      群馬大学
  •  論理結合子の適切さに基づく有益な情報の導出に関する研究研究代表者

    • 研究代表者
      吉浦 紀晃
    • 研究期間 (年度)
      2003 – 2005
    • 研究種目
      若手研究(B)
    • 研究分野
      情報学基礎
    • 研究機関
      群馬大学
  •  論理結合子の適切さに基づく有益な情報の導出に関する基礎研究研究代表者

    • 研究代表者
      吉浦 紀晃
    • 研究期間 (年度)
      2000 – 2001
    • 研究種目
      奨励研究(A)
    • 研究分野
      計算機科学
    • 研究機関
      群馬大学
      東京工業大学
  •  論理的仕様を基礎としたセキュアシステムの検証法

    • 研究代表者
      米崎 直樹
    • 研究期間 (年度)
      2000 – 2003
    • 研究種目
      特定領域研究
    • 審査区分
      理工系
    • 研究機関
      東京工業大学

すべて 2022 2020 2019 2018 2017 2016 2015 2014 2013 2012 2010 2009 2005 2004 その他

すべて 雑誌論文 学会発表 産業財産権

  • [雑誌論文] Very-Low-Cost Powered Air-Purifying Respirator (PAPR) “Distancing-Free Mask Industry (DFM-I) Prototype No.1” and Proposal for a Lockdown-Free Industry2022

    • 著者名/発表者名
      E. Carcasona, R. M. Galindo, A. Takita, E. Magalang, T. S. Galindo, S. Hashimoto, T. Yamaguchi, E. U. Tibay, D. W. Shu, H. Kobayashi, K. Amagai, N. Ohta, N. Yoshiura, A. Kuwana, A. Yano and Y. Fujii
    • 雑誌名

      Journal of Technology and Social Science

      巻: Vol.6, No.2 ページ: 1-4

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21KK0080
  • [雑誌論文] 国際研究協力プロジェクト 低コスト個人用呼吸空気浄化デバイス開発と,フィリピン・セブ市内の病院での運用試験(第一報)2022

    • 著者名/発表者名
      藤井雄作,Ronald M. Galindo, Edwin Carcasona, 田北啓洋, Ethelda Magalang, 橋本誠司, 山口誉夫, Edgar U. Tibay, Dongwei Shu, 小林春夫, 天谷賢児, 太田直哉, 吉浦紀晃, 桑名杏奈,矢野絢子
    • 雑誌名

      社会安全とプライバシー

      巻: Vol.6, No.1 ページ: 1-9

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21KK0080
  • [雑誌論文] Low-Cost Powered Air-Purifying Respirator (PAPR) “Distancing-Free Mask Frontline (DFM-F) Prototype No.1” for the Operational Tests in Hospitals in Cebu City, Philippines2022

    • 著者名/発表者名
      R. M. Galindo, A. Takita, E. Carcasona, E. Magalang, T. S. Galindo, S. Hashimoto, T. Yamaguchi, E. U. Tibay, D. W. Shu, H. Kobayashi, K. Amagai, N. Ohta, N. Yoshiura, A. Kuwana, A. Yano and Y. Fujii
    • 雑誌名

      Journal of Mechanical and Electrical Intelligent System

      巻: Vol.5, No.2 ページ: 1-6

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-21KK0080
  • [雑誌論文] Packet Reachability Verification in OpenFlow Networks2020

    • 著者名/発表者名
      Yoshiura Noriaki、Sugiyama Keigo
    • 雑誌名

      Proceedings of the 2020 9th International Conference on Software and Computer Applications

      巻: - ページ: 227-231

    • DOI

      10.1145/3384544.3384573

    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] Privacy Protection in Location Based Service by Secure Computation2020

    • 著者名/発表者名
      Ishikawa Masato、Yoshiura Noriaki
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 12034 ページ: 493-504

    • DOI

      10.1007/978-3-030-42058-1_41

    • ISBN
      9783030420574, 9783030420581
    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] IP Traceback method by OpenFlow2020

    • 著者名/発表者名
      Yoshiura Noriaki、Yano Hayata
    • 雑誌名

      Proceedings of the 3rd International Conference on Software Engineering and Information Management

      巻: - ページ: 194-198

    • DOI

      10.1145/3378936.3378965

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] A Method of Collecting the IP Addresses of Hidden Server in Tor Networks2020

    • 著者名/発表者名
      Yoshiura Noriaki、Koizumi Kento
    • 雑誌名

      Proceedings of the 2020 9th International Conference on Software and Computer Applications

      巻: - ページ: 242-246

    • DOI

      10.1145/3384544.3384589

    • NAID

      40021160498

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] Identification of Writing on Bulletin Board via Tor2020

    • 著者名/発表者名
      Yoshiura Noriaki、Iida Kaichiro
    • 雑誌名

      Proceedings of the 3rd International Conference on Software Engineering and Information Management

      巻: - ページ: 135-139

    • DOI

      10.1145/3378936.3378967

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] 利用者のネットワーク機器を監視する監視装置との通信品質を改善する移動ロボット制御手法2019

    • 著者名/発表者名
      小川康一, 吉浦紀晃
    • 雑誌名

      情報処理学会論文誌

      巻: 60 ページ: 779-790

    • NAID

      170000150198

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] 通学路への防犯 カメラの導入に関するアンケート結果の分析2018

    • 著者名/発表者名
      吉浦紀晃, 加藤蒼悟, 田北啓洋, 太田直哉, 藤井雄作
    • 雑誌名

      情報処理学会論文誌

      巻: 59 ページ: 1106-1118

    • NAID

      170000149399

    • 査読あり
    • データソース
      KAKENHI-PROJECT-15H02887
  • [雑誌論文] Development of a Support System to Resolve Network Troubles by Mobile Robots2018

    • 著者名/発表者名
      Kohichi Ogawa, Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 11226 ページ: 209-220

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] Model Checking of TTCAN Protocol Using UPPAAL2018

    • 著者名/発表者名
      Liu Shuxin, Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 印刷中

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.2017

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 10192 ページ: 105-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] 防犯カメラ画像の暗号化によるプライバシ保護とセキュリティ確保の両立2017

    • 著者名/発表者名
      田北啓洋,村松公祐,丸浩一,上田浩,吉浦紀晃,太田直哉,藤井雄作
    • 雑誌名

      社会安全とプライバシー

      巻: 1 ページ: 19-25

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H02887
  • [雑誌論文] プライバシに配慮した地域見守り防犯カメラシステムの開発2017

    • 著者名/発表者名
      田北啓洋,村松公祐,丸浩一,上田浩,吉浦紀晃,太田直哉,藤井雄作
    • 雑誌名

      社会安全とプライバシー

      巻: 1 ページ: 26-31

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H02887
  • [雑誌論文] The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification2017

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 10192 ページ: 105-114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330008
  • [雑誌論文] Abuse Prevention of Street Camera Network by Browsing-History Disclosure2016

    • 著者名/発表者名
      Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta, Akihiro Takita, Hiroshi Ueda, Koichi Maru
    • 雑誌名

      The Journal of Community Informatics

      巻: 12 ページ: 152-156

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H02887
  • [雑誌論文] Computational Verification of Network Programs for Several OpenFlow Switches in Coq2016

    • 著者名/発表者名
      Hiroaki Date, Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9787 ページ: 223-238

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00010
  • [雑誌論文] Will every streetlight have network cameras in the near future?2016

    • 著者名/発表者名
      Y. Fujii and N. Yoshiura
    • 雑誌名

      SCIENCE, eLetters

      巻: -

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-15H02887
  • [雑誌論文] Computational Verification of Network Programs for Several OpenFlow Switches in Coq2016

    • 著者名/発表者名
      Hiroaki Date, Noriaki Yoshiura
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 9787 ページ: 223-238

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330008
  • [雑誌論文] Shopping street safety using all-in-one-type security cameras2014

    • 著者名/発表者名
      K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii,
    • 雑誌名

      ICIC Express Letters

      巻: 8 ページ: 3001-3006

    • 査読あり
    • データソース
      KAKENHI-PROJECT-25330008
  • [雑誌論文] Shopping street safety using all-in-one-type security cameras2014

    • 著者名/発表者名
      K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii
    • 雑誌名

      ICIC Express Letters

      巻: 8

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24300246
  • [雑誌論文] Introduction of security camera system with privacy protection into a residential area2010

    • 著者名/発表者名
      T.Yokote, Y.Fujii, K.Maru, N.Yoshiura, N.Ohta, H.Ueda
    • 雑誌名

      Procedia Social and Behavioral Sciences 2

      ページ: 105-110

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Security of communities based on the e-JIKEI Network with information technology and altruism2010

    • 著者名/発表者名
      K.Maru, Y.Fujii, Y.Sugita, N.Ohta, N.Yoshiura, H.Ueda, S.Shiraki
    • 雑誌名

      Procedia Social and Behavioral Sciences 2

      ページ: 88-94

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] USB memory for surveillance camera software2010

    • 著者名/発表者名
      N. Yoshiura, Y. Neya
    • 雑誌名

      Procedia Social and Behavioral Sciences

      巻: Vol.2 ページ: 36-41

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Creating worldwide community safety with present technology and privacy protection : The e-JIKEI Network project2010

    • 著者名/発表者名
      K. Kobayashi, K. Maru, N. Ohta, N. Yoshiura, H. Ueda, P. Yupapin, Y. Fujii
    • 雑誌名

      Procedia Social and Behavioral Sciences

      巻: Vol.2 ページ: 6-13

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Security of communities based on the e-JIKEI Network with information technology and altruism2010

    • 著者名/発表者名
      K. Maru, Y. Fujii, Y. Sugita, N. Ohta, N. Yoshiura, H. Ueda, S. Shiraki
    • 雑誌名

      Procedia Social and Behavioral Sciences

      巻: Vol.2 ページ: 88-94

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] USB memory for surveillance camera software2010

    • 著者名/発表者名
      Noriaki Yoshiura, Yoshinori Neya
    • 雑誌名

      Procedia Social and Behavioral Sciences 2

      ページ: 36-41

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Restrained surveillance towards community benefit2010

    • 著者名/発表者名
      Sabaragamu Koralalage Krishan, Noriaki Yoshiura
    • 雑誌名

      Procedia Social and Behavioral Sciences 2

      ページ: 28-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] e-JIKEI Network using e-JIKEI Cameras : Community security using considerable number of cheep stand-alone cameras2010

    • 著者名/発表者名
      Y.Fujii, K.Maru, K.Kobayashi, N.Yoshiura, N.Ohta, H.Ueda, P.Yupapin
    • 雑誌名

      Safety Science (印刷中)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Introduction of security camera system with privacy protection into a residential area2010

    • 著者名/発表者名
      T. Yokote, Y. Fujii, K. Maru, N. Yoshiura, N. Ohta, H. Ueda
    • 雑誌名

      Procedia Social and Behavioral Sciences

      巻: Vol.2 ページ: 105-110

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Creating worldwide community safety with present technology and privacy protetion : The e-JIKEI Network project2010

    • 著者名/発表者名
      K.Kobayashi, K.Maru, N.Ohta, N.Yoshiura, H.Ueda, P.Yupapin, Y.Fujii
    • 雑誌名

      Procedia Social and Behavioral Sciences 2

      ページ: 6-13

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] e-JIKEI Network using e-JIKEI Cameras : Community security using considerable number of cheap stand-alone cameras2010

    • 著者名/発表者名
      Y. Fujii, K. Maru, K. Kobayashi, N. Yoshiura, N. Ohta, H. Ueda, P. Yupapin
    • 雑誌名

      Safety Science

      巻: Vol.48 ページ: 921-925

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Restrained surveillance towards community benefit2010

    • 著者名/発表者名
      K. S. Koralalage, N. Yoshiura
    • 雑誌名

      Procedia Social and Behavioral Sciences

      巻: Vol.2 ページ: 28-35

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] OTag : Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems2009

    • 著者名/発表者名
      Krishan Sabaragamu Koralalage, Noriaki Yoshiura
    • 雑誌名

      Journal of Convergence Information Technology 4

      ページ: 30-48

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] OTag : Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems2009

    • 著者名/発表者名
      K. S. Koralalage, N. Yoshiura
    • 雑誌名

      Journal of Convergence Information Technology

      巻: Vol.4 ページ: 30-48

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21300268
  • [雑誌論文] Decision Procedures for Several Properties of Reactive System Specification2005

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      GESTS International Transaction on Computer Science and Engineering 11・1

      ページ: 63-84

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Effect of Mobility on Communication Performance in Overload One-dimensional Cellular Networks2005

    • 著者名/発表者名
      Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato
    • 雑誌名

      2^<nd> International Conference on Distributed Computing and Internet Technology, Lecture Notes in Computer Science 3816

      ページ: 82-92

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Creating a World Wide Community Security Structure Using Individually Maintained Home Computers2005

    • 著者名/発表者名
      Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta
    • 雑誌名

      Social Science Computer Review 23・2

      ページ: 250-258

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Community Security By Widely Available Information Technology2005

    • 著者名/発表者名
      Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta
    • 雑誌名

      Journal of Community Informatics 2・1

      ページ: 68-70

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Several Strategies of Reactive System Program Synthesis2005

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      GESTS International Transaction on Computer Science and Engineering 20・1

      ページ: 146-156

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] リアクティブシステム動作仕様の段階的充足可能性の判定手続き2005

    • 著者名/発表者名
      吉浦 紀晃
    • 雑誌名

      コンピュータソフトウェア 22・1

      ページ: 45-57

    • NAID

      110003744164

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Several Strategies of Reactive System Program Synthesis2004

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      Proceedings of the 8^<th> World Multi Conference on Systemics, Cybernetics and Informatics 3

      ページ: 531-536

    • データソース
      KAKENHI-PROJECT-15700007
  • [雑誌論文] Finding the Causes of Unrealizability of Reactive System Formal Specifications2004

    • 著者名/発表者名
      Noriaki Yoshiura
    • 雑誌名

      Proceedings of 2^<nd> IEEE International Conference on Software Engineering and Formal Methods

      ページ: 34-43

    • データソース
      KAKENHI-PROJECT-15700007
  • [産業財産権] プライバシ保護を可能とするカメラシステム2015

    • 発明者名
      藤井 雄作,吉浦 紀晃,太田 直哉,田北 啓洋
    • 権利者名
      特定非営利特定活動法人e自警ネットワーク研究会
    • 産業財産権種類
      特許
    • 産業財産権番号
      2015-167298
    • 出願年月日
      2015-08-26
    • データソース
      KAKENHI-PROJECT-15H02887
  • [産業財産権] 防犯カメラシステム2010

    • 発明者名
      藤井雄作,吉浦紀晃,丸浩一,小林幸次郎,ピリーチャユパピン,ポーンサックシリカイ
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2010-042403
    • 出願年月日
      2010-02-26
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 通信機能を備えた省エネ街灯システム2010

    • 発明者名
      藤井雄作,吉浦紀晃,丸浩一,小林幸次郎,ピリーチャユパピン,ケツピィタナーナンソーポン
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2010-029210
    • 出願年月日
      2010-02-12
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 防犯カメラシステム2010

    • 発明者名
      藤井雄作, 吉浦紀晃, 丸浩一, 小林幸次郎, ピリーチャユパピン, ポーンサック シリカイ
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2010-042403
    • 出願年月日
      2010-02-26
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 通信機能を備えた省エネ街灯システム2010

    • 発明者名
      藤井雄作, 吉浦紀晃, 丸浩一, 小林幸次郎, ピリーチャユパピン, ケツピイ タナーナンソーポン
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2010-029210
    • 出願年月日
      2010-02-12
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 暗号化された画像を閲覧権者に応じた強度の不鮮明化処理を施した画像を出力することを特徴とする画像暗号化システム2009

    • 発明者名
      藤井雄作, 吉浦紀晃
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2009-293787
    • 出願年月日
      2009-12-25
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 所有者,画像閲覧可能なものを知らしめる情報開示手段を持つことを特徴とする防犯カメラシステム2009

    • 発明者名
      藤井雄作, 吉浦紀晃
    • 権利者名
      NPO法人e自警ネットワーク研究会
    • 産業財産権番号
      2009-185748
    • 出願年月日
      2009-08-10
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 所有者,画像閲覧可能なものを知らしめる情報開示手段を持つことを特徴とする防犯カメラシステム2009

    • 発明者名
      藤井雄作,吉浦紀晃
    • 権利者名
      NPO法人e自警ネットワーク研究会
    • 産業財産権番号
      2009-185748
    • 出願年月日
      2009-08-10
    • データソース
      KAKENHI-PROJECT-21300268
  • [産業財産権] 暗号化された画像を閲覧権者に応じた強度の不鮮明化処理を施した画像を出力することを特徴とする画像暗号化システム2009

    • 発明者名
      藤井雄作,吉浦紀晃
    • 権利者名
      NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
    • 産業財産権番号
      2009-293787
    • 出願年月日
      2009-12-25
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Software synthesis from specification2018

    • 著者名/発表者名
      Noriaki Yoshiura
    • 学会等名
      International Conference on Technological Challenges for Better World 2018
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00010
  • [学会発表] Software Model Checking and Preventing Software Bugs2017

    • 著者名/発表者名
      Noriaki Yoshiura
    • 学会等名
      International Conference on Mechanical, Electrical and Medical Intelligent System 2017
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00010
  • [学会発表] Privacy protection and abuse prevention by developing e-JIKEI Network Door-phone2017

    • 著者名/発表者名
      Kaizo Yoshida, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
    • 学会等名
      International Conference on Mechanical, Electrical and Medical Intelligent System 2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02887
  • [学会発表] Development of lighting control function using moving object detection for e-JIKEI Network Camera2017

    • 著者名/発表者名
      Hiroki Motegi, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
    • 学会等名
      International Conference on Mechanical, Electrical and Medical Intelligent System 2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02887
  • [学会発表] Greeting to pedestrian using image processing for e-JIKEI Network Camera2017

    • 著者名/発表者名
      Hideki Ohki, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
    • 学会等名
      International Conference on Mechanical, Electrical and Medical Intelligent System 2017
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02887
  • [学会発表] NetCoreプログラムのCoqによる検証2016

    • 著者名/発表者名
      伊達 弘明,吉浦 紀晃
    • 学会等名
      情報処理学会第32回IOT研究会
    • 発表場所
      佐賀県
    • 年月日
      2016-03-03
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Development of Security Camera with Privacy Protection and, Social Experiment Using the Security Camera with Privacy Protection2016

    • 著者名/発表者名
      Sogo Kato, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Kouichi Maru, Hiroshi Ueda, Yusaku Fujii, Hideo Matsuda
    • 学会等名
      The 4th IIAE International Conference on Industrial Application Engineering 2016
    • 発表場所
      B-Con Plaza, Beppu, Japan
    • 年月日
      2016-03-27
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-15H02887
  • [学会発表] Computational Verification of Network Programs for serveral OpenFlow switches in Coq2016

    • 著者名/発表者名
      Hiroaki Date and Noriaki Yoshiura
    • 学会等名
      The 16th International Conference on Computational Science and Its Applications
    • 発表場所
      中国
    • 年月日
      2016-07-04
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Extracting Environmental Constraints in Reactive System Specifications2015

    • 著者名/発表者名
      Yuichi Fukaya and Noriaki Yoshiura
    • 学会等名
      15th International Conference on Computational Science and Its Applications
    • 発表場所
      カナダ
    • 年月日
      2015-06-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications2015

    • 著者名/発表者名
      Noriaki Yoshiura and Yuma Hirayanagi
    • 学会等名
      15th International Conference on Computational Science and Its Applications
    • 発表場所
      カナダ
    • 年月日
      2015-06-22
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Implementation of Theorem Prover of Relevant Logic2015

    • 著者名/発表者名
      Noriaki Yoshiura
    • 学会等名
      28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
    • 発表場所
      韓国
    • 年月日
      2015-06-10
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] The e-JIKEI Door-phone : An intercom with security camera function with privacy protection2014

    • 著者名/発表者名
      K. Muramatsu, S. Kato, H. Sano, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda, K. Sawano and Y. Fujii
    • 学会等名
      6th International Conference on Advance Micro-Device Engineering
    • 発表場所
      桐生市民文化会館(群馬県桐生市)
    • 年月日
      2014-12-05
    • データソース
      KAKENHI-PROJECT-24300246
  • [学会発表] Verification of System Requirements2014

    • 著者名/発表者名
      Noriaki Yoshiura
    • 学会等名
      4th International Mechanical Engineering Research Conference
    • 発表場所
      Cebu City, Philippines
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Smart Street Light System Looking Like Usual Street Lights Based On Sensor Networks2013

    • 著者名/発表者名
      Noriaki Yoshiura, Yusaku Fujii and Naoya Ohta
    • 学会等名
      13th International Symposium on Communications and Information Technologies
    • 発表場所
      Samui, Thailand
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Construction and Verificationof Mobile Ad Hoc Network Protocols, In Proceedings of 5th International Symposium on Cyberspace Safety and Security, Lecture Notes in Computer Science,2013

    • 著者名/発表者名
      Natsuki Kimura and Noriaki Yoshiura
    • 学会等名
      5th International Symposium on Cyberspace Safety and Security
    • 発表場所
      Zhangjiajie, China
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] 静的データレース検出における動的クラスローディングへの対策2012

    • 著者名/発表者名
      魏偉, 吉浦紀晃
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋,日本
    • 年月日
      2012-03-06
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] リアクティブシステム仕様の実現不能判定器の高速化2012

    • 著者名/発表者名
      閨芳紀, 吉浦紀晃
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋,日本
    • 年月日
      2012-03-08
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] 静的データレース検出における動的クラスローディングへの対策2012

    • 著者名/発表者名
      魏偉、吉浦紀晃
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋、日本
    • 年月日
      2012-03-06
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] リアクティブシステム仕様の実現不能判定器の高速化2012

    • 著者名/発表者名
      閨芳紀、吉浦紀晃
    • 学会等名
      情報処理学会第74回全国大会
    • 発表場所
      名古屋、日本
    • 年月日
      2012-03-08
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] The e-JIKEI Network : A Concept for Community Security by Means of Security Cameras at High Density2010

    • 著者名/発表者名
      Y. Fujii, K. Maru, N. Ohta, T. Jin, Y. Kuwabara, V. Prashyanusorn, P. Prashyanusorn, S. Mitatha, P. P. Yupapin, N. Yoshiura
    • 学会等名
      3rd Joint Intl. Conference on Information & Communication Technology, Electric and Electrical Engineering
    • 発表場所
      Lao P. D. R
    • 年月日
      2010-12-23
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Some knowledge obtained in the activity of surveillance camera in E-Jikei Network Project2009

    • 著者名/発表者名
      N. Yoshiura
    • 学会等名
      SPC 2009
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Introduction of security camera system with privacy protection into shopping areas2009

    • 著者名/発表者名
      R. Yamaguchi, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
    • 学会等名
      ISIDM 2009
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-02-05
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Introduction of security camera system with privacy protection into residential areas2009

    • 著者名/発表者名
      T. Yokote, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, Y. Fujii
    • 学会等名
      ISIDM 2009
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-02-05
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Experiment of security camera system with privacy protection into shopping street by the e-JIKEI Network Promotion Institute2009

    • 著者名/発表者名
      R. Yamaguchi, Y. Fujii, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara
    • 学会等名
      SPC 2009
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Security camera network for privacy protection and community Safety-Is the stress from security cameras inevitable?-2009

    • 著者名/発表者名
      Y. Fujii, K. Maru, N. Ohta, N. Yoshiura, H. Ueda, P. Yupapin
    • 学会等名
      International Conference on Security Camera Network, Privacy Protection and Community Safety 2009(SPC 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Some knowledge obtained in the activity of surveillance camera in E-Jikei Network Project2009

    • 著者名/発表者名
      Noriaki Yoshiura
    • 学会等名
      International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Introduction of security camera system with privacy protection into shopping areas2009

    • 著者名/発表者名
      R. Yamaguchi, K. Maru ,N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
    • 学会等名
      1st International Symposium on Quantum Metrology and Precision Measurement (ISQMPM 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-03-11
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Security camera network for privacy protection and community Safety-Is the stress from security cameras inevitable?-2009

    • 著者名/発表者名
      Y.Fujii, K.Maru, N.Ohta, N.Yoshiura, H.Ueda, P.Yupapin
    • 学会等名
      International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Image processing technique for improving and expanding the privacy protection function of the e-JIKEI security camera system2009

    • 著者名/発表者名
      Y. Nakajima, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
    • 学会等名
      ISIDM 2009
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-02-25
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Formal Analysis of OTag Protocol on Authentication and Confidentiality2009

    • 著者名/発表者名
      K. S. Koralalage, N. Yoshiura
    • 学会等名
      First International ICST Conference DigiBiz 2009
    • 発表場所
      London, United Kingdom
    • 年月日
      2009-06-18
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Introduction of security camera system with privacy protection into residential areas2009

    • 著者名/発表者名
      T. Yokote, K. Maru ,N. Yoshiura, N. Ohta, H. Ueda, Y. Fujii
    • 学会等名
      1st International Symposium on Quantum Metrology and Precision Measurement (ISQMPM 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-03-11
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Image processing technique for improving and expanding the privacy protection function of the e-JIKEI security camera system2009

    • 著者名/発表者名
      Y. Nakaiima, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuivabara, Y. Fujii
    • 学会等名
      1st International Symposium on Interferometry and Dynamic Measurement (ISIDM 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-02-25
    • データソース
      KAKENHI-PROJECT-19300239
  • [学会発表] Experiment of security camera system with privacy protection into shopping street by the e-JIKEI Network Promotion Institure2009

    • 著者名/発表者名
      R.Yamaguchi, Y.Fujii, K.Maru, N.Yoshiura, N.Ohta, H.Ueda, T.Kuwabara
    • 学会等名
      International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
    • 発表場所
      Kiryu, Japan
    • 年月日
      2009-10-28
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Formal Analysis of OTag Protocol on Authentication and Confidentiality2009

    • 著者名/発表者名
      K. S. Koralalage, N. Yoshiura
    • 学会等名
      4th International Conference on Ubiquitous Information Technologies and Applications
    • 発表場所
      Fukuoka, Japan
    • 年月日
      2009-12-21
    • データソース
      KAKENHI-PROJECT-21300268
  • [学会発表] Static Data Race Detection for Java Programs with Dynamic Class Loading

    • 著者名/発表者名
      Noriaki Yoshiura and Wei Wei
    • 学会等名
      7th International Conference on Internet and Distributed Computing Systems
    • 発表場所
      イタリア
    • 年月日
      2014-09-22 – 2014-09-24
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] 分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案

    • 著者名/発表者名
      中村 風太,吉浦 紀晃
    • 学会等名
      情報処理学会 第187回ソフトウェア工学研究会
    • 発表場所
      東京都・千代田区
    • 年月日
      2015-03-12 – 2015-03-13
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] リアクティブシステム仕様の外部環境制約式に関する研究

    • 著者名/発表者名
      深谷 悠一,吉浦 紀晃
    • 学会等名
      情報処理学会 第187回ソフトウェア工学研究会
    • 発表場所
      東京都・千代田区
    • 年月日
      2015-03-12 – 2015-03-13
    • データソース
      KAKENHI-PROJECT-25330008
  • [学会発表] Review of the e-JIKEI Network: Security camera system for privacy protection and community safety

    • 著者名/発表者名
      A. Takita, N. Ohta, Y. Fujii, N. Yoshiura, H. Ueda and K. Maru
    • 学会等名
      3rd International Conference on Informatics, Electronics & Vision (ICIEV)
    • 発表場所
      Dhaka (Bangladesh)
    • 年月日
      2014-05-23 – 2014-05-24
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24300246
  • [学会発表] Shopping street safety using all-in-one-type security cameras

    • 著者名/発表者名
      K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii
    • 学会等名
      ICISIP 2013: The 1st IEEE/IIAE International Conference on Intelligent Systems and Image Processing 2013
    • 発表場所
      Kitakyusyu, Japan
    • データソース
      KAKENHI-PROJECT-24300246
  • 1.  太田 直哉 (10270860)
    共同の研究課題数: 5件
    共同の研究成果数: 34件
  • 2.  藤井 雄作 (80357904)
    共同の研究課題数: 5件
    共同の研究成果数: 35件
  • 3.  上田 浩 (30375159)
    共同の研究課題数: 4件
    共同の研究成果数: 26件
  • 4.  田北 啓洋 (20432768)
    共同の研究課題数: 4件
    共同の研究成果数: 15件
  • 5.  丸 浩一 (00530164)
    共同の研究課題数: 3件
    共同の研究成果数: 21件
  • 6.  米崎 直樹 (00126286)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 7.  西崎 真也 (90263615)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  米田 友洋 (30182851)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  友石 正彦 (60262284)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  橋本 誠司 (30331987)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 11.  小林 春夫 (20292625)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 12.  天谷 賢児 (20221731)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 13.  山口 誉夫 (90323328)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 14.  桑名 杏奈 (00624628)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 15.  矢野 絢子 (70816298)
    共同の研究課題数: 1件
    共同の研究成果数: 3件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi