YOSHIURA NORIAKI 吉浦紀晃

… Alternative Names

吉浦紀晃ヨシウラノリアキ

YOSHIURA Noriaki 吉浦紀晃

Less

Researcher Number	00302969
Other IDs
Affiliation (Current)	2025: 埼玉大学, 理工学研究科, 教授
Affiliation (based on the past Project Information) *help	2021 – 2023: 埼玉大学, 理工学研究科, 教授 2019: 埼玉大学, 理工学研究科, 教授 2018: 埼玉大学, 大学院理工学研究科, 教授 2015 – 2017: 埼玉大学, 情報メディア基盤センター, 准教授 2012 – 2015: 埼玉大学, 理工学研究科, 准教授 … More 2011: 埼玉大学, 情報メディア基盤センター, 准教授 2009 – 2010: 埼玉大学, 大学院・理工学研究科, 准教授 2008: 埼玉大学, 理工学研究科, 准教授 2007: 崎玉大学, 理工学研究科, 准教授 2005: 群馬大学, 総合情報メディアセンター, 助教授 2001 – 2004: 群馬大学, 総合情報処理センター, 助教授 2000: 東京工業大学, 大学院・情報理工学研究科, 助手 Less
Review Section/Research Field	Principal Investigator Theory of informatics / Fundamental theory of informatics / 計算機科学 Except Principal Investigator General human life sciences / Medium-sized Section 25:Social systems engineering, safety engineering, disaster prevention engineering, and related fields / Clothing life/Dwelling life / Science and Engineering
Keywords	Principal Investigator 時間論理 / リアクティブシステム / プログラム合成 / 適切さの論理 / 仕様検証 / 仕様記述 / 実現可能性 / 数理論理学 / Coq / Liveness Property … More / Safety Property / OpenFlow / モデル検査 / プログラム化可能性 / モデルチェッキング / セキュアコンピューティング / システム検証 / 段階的充足可能性 / 形式的仕様記述 / 決定可能性 / 知識推論 … More Except Principal Investigator 地域防犯 / 住環境 / 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攻撃 / ネットワークセキュリティ / 暗号方式 / 安全性検証 / ハードウェアの安全性 / 暗号方式の安全性 / 安全なシステムアーキテクチャ / セキュリティプロトコル / ネットワークの安全性解析 / 安全なプログラム合成 / 仕様解析 / 防犯カメラシステム / 安全・安心 / 防犯・危機管理 / 見守りシステム / 画像復元 / モニタリング / 危機管理 / 防犯 Less

Development of Low-cost Powered Air-Purifying Respirators (PAPRs) and Operational Tests in Hospitals and Universities in Cebu city, Philippines
- Principal Investigator
  
  藤井雄作
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
- Review Section
  
  Medium-sized Section 25:Social systems engineering, safety engineering, disaster prevention engineering, and related fields
- Research Institution
  Gunma University
Proof system for Realizability Decision of Reactive System Specification described by Temporal LogicPrincipal Investigator
- Principal Investigator
  
  Yoshiura Noriaki
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Saitama University
Realization of safe and worry-free community using security camera system, which watches over the whole community with privacy protection
- Principal Investigator
  
  Fujii Yusaku
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Clothing life/Dwelling life
- Research Institution
  Gunma University
Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal LogicPrincipal Investigator
- Principal Investigator
  
  YOSHIURA Noriaki
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Saitama University
Suggestion of safe and secure town planning using security camera with both privacy protection and surveillance
- Principal Investigator
  
  TAKITA Akihiro
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General human life sciences
- Research Institution
  Gunma University
Study on security camera system using image encryption for safety of community
- Principal Investigator
  
  MARU Koichi
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General human life sciences
- Research Institution
  Kagawa University
  Gunma University
Research for improving community security by personal security cameras
- Principal Investigator
  
  UEDA Hiroshi
- Project Period (FY)
  2007 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General human life sciences
- Research Institution
  Gunma University
論理結合子の適切さに基づく有益な情報の導出に関する研究Principal Investigator
- Principal Investigator
  
  吉浦紀晃
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Gunma University
論理結合子の適切さに基づく有益な情報の導出に関する基礎研究Principal Investigator
- Principal Investigator
  
  吉浦紀晃
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Gunma University
  Tokyo Institute of Technology
Verification methods of secure systems based on logical specifications
- Principal Investigator
  
  YONEZAKI Naoki
- Project Period (FY)
  2000 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Tokyo Institute of Technology

[Journal Article] Very-Low-Cost Powered Air-Purifying Respirator (PAPR) “Distancing-Free Mask Industry (DFM-I) Prototype No.1” and Proposal for a Lockdown-Free Industry2022
- Author(s)
  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 Title
  
  Journal of Technology and Social Science
  
  Volume: Vol.6, No.2 Pages: 1-4
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0080
[Journal Article] 国際研究協力プロジェクト　低コスト個人用呼吸空気浄化デバイス開発と，フィリピン・セブ市内の病院での運用試験（第一報）2022
- Author(s)
  藤井雄作，Ronald M. Galindo, Edwin Carcasona, 田北啓洋, Ethelda Magalang, 橋本誠司, 山口誉夫, Edgar U. Tibay, Dongwei Shu, 小林春夫, 天谷賢児, 太田直哉, 吉浦紀晃, 桑名杏奈,矢野絢子
- Journal Title
  
  社会安全とプライバシー
  
  Volume: Vol.6, No.1 Pages: 1-9
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0080
[Journal Article] 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
- Author(s)
  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 Title
  
  Journal of Mechanical and Electrical Intelligent System
  
  Volume: Vol.5, No.2 Pages: 1-6
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21KK0080
[Journal Article] Packet Reachability Verification in OpenFlow Networks2020
- Author(s)
  Yoshiura Noriaki、Sugiyama Keigo
- Journal Title
  
  Proceedings of the 2020 9th International Conference on Software and Computer Applications
  
  Volume: - Pages: 227-231
- DOI
  10.1145/3384544.3384573
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] Privacy Protection in Location Based Service by Secure Computation2020
- Author(s)
  Ishikawa Masato、Yoshiura Noriaki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 12034 Pages: 493-504
- DOI
  10.1007/978-3-030-42058-1_41
- ISBN
  9783030420574, 9783030420581
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] IP Traceback method by OpenFlow2020
- Author(s)
  Yoshiura Noriaki、Yano Hayata
- Journal Title
  
  Proceedings of the 3rd International Conference on Software Engineering and Information Management
  
  Volume: - Pages: 194-198
- DOI
  10.1145/3378936.3378965
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] A Method of Collecting the IP Addresses of Hidden Server in Tor Networks2020
- Author(s)
  Yoshiura Noriaki、Koizumi Kento
- Journal Title
  
  Proceedings of the 2020 9th International Conference on Software and Computer Applications
  
  Volume: - Pages: 242-246
- DOI
  10.1145/3384544.3384589
- NAID
  40021160498
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] Identification of Writing on Bulletin Board via Tor2020
- Author(s)
  Yoshiura Noriaki、Iida Kaichiro
- Journal Title
  
  Proceedings of the 3rd International Conference on Software Engineering and Information Management
  
  Volume: - Pages: 135-139
- DOI
  10.1145/3378936.3378967
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] 利用者のネットワーク機器を監視する監視装置との通信品質を改善する移動ロボット制御手法2019
- Author(s)
  小川康一, 吉浦紀晃
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 60 Pages: 779-790
- NAID
  170000150198
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] 通学路への防犯カメラの導入に関するアンケート結果の分析2018
- Author(s)
  吉浦紀晃, 加藤蒼悟, 田北啓洋, 太田直哉, 藤井雄作
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 59 Pages: 1106-1118
- NAID
  170000149399
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02887
[Journal Article] Development of a Support System to Resolve Network Troubles by Mobile Robots2018
- Author(s)
  Kohichi Ogawa, Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 11226 Pages: 209-220
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] Model Checking of TTCAN Protocol Using UPPAAL2018
- Author(s)
  Liu Shuxin, Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.2017
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10192 Pages: 105-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] 防犯カメラ画像の暗号化によるプライバシ保護とセキュリティ確保の両立2017
- Author(s)
  田北啓洋，村松公祐，丸浩一，上田浩，吉浦紀晃，太田直哉，藤井雄作
- Journal Title
  
  社会安全とプライバシー
  
  Volume: 1 Pages: 19-25
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02887
[Journal Article] プライバシに配慮した地域見守り防犯カメラシステムの開発2017
- Author(s)
  田北啓洋，村松公祐，丸浩一，上田浩，吉浦紀晃，太田直哉，藤井雄作
- Journal Title
  
  社会安全とプライバシー
  
  Volume: 1 Pages: 26-31
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02887
[Journal Article] The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification2017
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 10192 Pages: 105-114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330008
[Journal Article] Abuse Prevention of Street Camera Network by Browsing-History Disclosure2016
- Author(s)
  Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta, Akihiro Takita, Hiroshi Ueda, Koichi Maru
- Journal Title
  
  The Journal of Community Informatics
  
  Volume: 12 Pages: 152-156
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15H02887
[Journal Article] Computational Verification of Network Programs for Several OpenFlow Switches in Coq2016
- Author(s)
  Hiroaki Date, Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9787 Pages: 223-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00010
[Journal Article] Will every streetlight have network cameras in the near future?2016
- Author(s)
  Y. Fujii and N. Yoshiura
- Journal Title
  
  SCIENCE, eLetters
  
  Volume: -
- Open Access
- Data Source
  KAKENHI-PROJECT-15H02887
[Journal Article] Computational Verification of Network Programs for Several OpenFlow Switches in Coq2016
- Author(s)
  Hiroaki Date, Noriaki Yoshiura
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9787 Pages: 223-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330008
[Journal Article] Shopping street safety using all-in-one-type security cameras2014
- Author(s)
  K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii,
- Journal Title
  
  ICIC Express Letters
  
  Volume: 8 Pages: 3001-3006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330008
[Journal Article] Shopping street safety using all-in-one-type security cameras2014
- Author(s)
  K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii
- Journal Title
  
  ICIC Express Letters
  
  Volume: 8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300246
[Journal Article] Introduction of security camera system with privacy protection into a residential area2010
- Author(s)
  T.Yokote, Y.Fujii, K.Maru, N.Yoshiura, N.Ohta, H.Ueda
- Journal Title
  
  Procedia Social and Behavioral Sciences 2
  
  Pages: 105-110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Security of communities based on the e-JIKEI Network with information technology and altruism2010
- Author(s)
  K.Maru, Y.Fujii, Y.Sugita, N.Ohta, N.Yoshiura, H.Ueda, S.Shiraki
- Journal Title
  
  Procedia Social and Behavioral Sciences 2
  
  Pages: 88-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] USB memory for surveillance camera software2010
- Author(s)
  N. Yoshiura, Y. Neya
- Journal Title
  
  Procedia Social and Behavioral Sciences
  
  Volume: Vol.2 Pages: 36-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Creating worldwide community safety with present technology and privacy protection : The e-JIKEI Network project2010
- Author(s)
  K. Kobayashi, K. Maru, N. Ohta, N. Yoshiura, H. Ueda, P. Yupapin, Y. Fujii
- Journal Title
  
  Procedia Social and Behavioral Sciences
  
  Volume: Vol.2 Pages: 6-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Security of communities based on the e-JIKEI Network with information technology and altruism2010
- Author(s)
  K. Maru, Y. Fujii, Y. Sugita, N. Ohta, N. Yoshiura, H. Ueda, S. Shiraki
- Journal Title
  
  Procedia Social and Behavioral Sciences
  
  Volume: Vol.2 Pages: 88-94
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] USB memory for surveillance camera software2010
- Author(s)
  Noriaki Yoshiura, Yoshinori Neya
- Journal Title
  
  Procedia Social and Behavioral Sciences 2
  
  Pages: 36-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Restrained surveillance towards community benefit2010
- Author(s)
  Sabaragamu Koralalage Krishan, Noriaki Yoshiura
- Journal Title
  
  Procedia Social and Behavioral Sciences 2
  
  Pages: 28-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] e-JIKEI Network using e-JIKEI Cameras : Community security using considerable number of cheep stand-alone cameras2010
- Author(s)
  Y.Fujii, K.Maru, K.Kobayashi, N.Yoshiura, N.Ohta, H.Ueda, P.Yupapin
- Journal Title
  
  Safety Science (印刷中)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Introduction of security camera system with privacy protection into a residential area2010
- Author(s)
  T. Yokote, Y. Fujii, K. Maru, N. Yoshiura, N. Ohta, H. Ueda
- Journal Title
  
  Procedia Social and Behavioral Sciences
  
  Volume: Vol.2 Pages: 105-110
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Creating worldwide community safety with present technology and privacy protetion : The e-JIKEI Network project2010
- Author(s)
  K.Kobayashi, K.Maru, N.Ohta, N.Yoshiura, H.Ueda, P.Yupapin, Y.Fujii
- Journal Title
  
  Procedia Social and Behavioral Sciences 2
  
  Pages: 6-13
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] e-JIKEI Network using e-JIKEI Cameras : Community security using considerable number of cheap stand-alone cameras2010
- Author(s)
  Y. Fujii, K. Maru, K. Kobayashi, N. Yoshiura, N. Ohta, H. Ueda, P. Yupapin
- Journal Title
  
  Safety Science
  
  Volume: Vol.48 Pages: 921-925
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Restrained surveillance towards community benefit2010
- Author(s)
  K. S. Koralalage, N. Yoshiura
- Journal Title
  
  Procedia Social and Behavioral Sciences
  
  Volume: Vol.2 Pages: 28-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] OTag : Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems2009
- Author(s)
  Krishan Sabaragamu Koralalage, Noriaki Yoshiura
- Journal Title
  
  Journal of Convergence Information Technology 4
  
  Pages: 30-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] OTag : Architecture to Represent Real World Objects in RF Tags to Improve Future Intelligent Transportation Systems2009
- Author(s)
  K. S. Koralalage, N. Yoshiura
- Journal Title
  
  Journal of Convergence Information Technology
  
  Volume: Vol.4 Pages: 30-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21300268
[Journal Article] Decision Procedures for Several Properties of Reactive System Specification2005
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  GESTS International Transaction on Computer Science and Engineering 11・1
  
  Pages: 63-84
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Effect of Mobility on Communication Performance in Overload One-dimensional Cellular Networks2005
- Author(s)
  Michihiro Inoue, Noriaki Yoshiura, Yoshikuni Onozato
- Journal Title
  
  2^<nd> International Conference on Distributed Computing and Internet Technology, Lecture Notes in Computer Science 3816
  
  Pages: 82-92
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Creating a World Wide Community Security Structure Using Individually Maintained Home Computers2005
- Author(s)
  Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta
- Journal Title
  
  Social Science Computer Review 23・2
  
  Pages: 250-258
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Community Security By Widely Available Information Technology2005
- Author(s)
  Yusaku Fujii, Noriaki Yoshiura, Naoya Ohta
- Journal Title
  
  Journal of Community Informatics 2・1
  
  Pages: 68-70
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Several Strategies of Reactive System Program Synthesis2005
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  GESTS International Transaction on Computer Science and Engineering 20・1
  
  Pages: 146-156
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] リアクティブシステム動作仕様の段階的充足可能性の判定手続き2005
- Author(s)
  吉浦紀晃
- Journal Title
  
  コンピュータソフトウェア 22・1
  
  Pages: 45-57
- NAID
  110003744164
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Several Strategies of Reactive System Program Synthesis2004
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  Proceedings of the 8^<th> World Multi Conference on Systemics, Cybernetics and Informatics 3
  
  Pages: 531-536
- Data Source
  KAKENHI-PROJECT-15700007
[Journal Article] Finding the Causes of Unrealizability of Reactive System Formal Specifications2004
- Author(s)
  Noriaki Yoshiura
- Journal Title
  
  Proceedings of 2^<nd> IEEE International Conference on Software Engineering and Formal Methods
  
  Pages: 34-43
- Data Source
  KAKENHI-PROJECT-15700007
[Patent] プライバシ保護を可能とするカメラシステム2015
- Inventor(s)
  藤井　雄作，吉浦　紀晃，太田　直哉，田北　啓洋
- Industrial Property Rights Holder
  特定非営利特定活動法人e自警ネットワーク研究会
- Industrial Property Rights Type
  特許
- Industrial Property Number
  2015-167298
- Filing Date
  2015-08-26
- Data Source
  KAKENHI-PROJECT-15H02887
[Patent] 防犯カメラシステム2010
- Inventor(s)
  藤井雄作,吉浦紀晃,丸浩一,小林幸次郎,ピリーチャユパピン,ポーンサックシリカイ
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2010-042403
- Filing Date
  2010-02-26
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 通信機能を備えた省エネ街灯システム2010
- Inventor(s)
  藤井雄作,吉浦紀晃,丸浩一,小林幸次郎,ピリーチャユパピン,ケツピィタナーナンソーポン
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2010-029210
- Filing Date
  2010-02-12
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 防犯カメラシステム2010
- Inventor(s)
  藤井雄作, 吉浦紀晃, 丸浩一, 小林幸次郎, ピリーチャユパピン, ポーンサックシリカイ
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2010-042403
- Filing Date
  2010-02-26
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 通信機能を備えた省エネ街灯システム2010
- Inventor(s)
  藤井雄作, 吉浦紀晃, 丸浩一, 小林幸次郎, ピリーチャユパピン, ケツピイタナーナンソーポン
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2010-029210
- Filing Date
  2010-02-12
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 暗号化された画像を閲覧権者に応じた強度の不鮮明化処理を施した画像を出力することを特徴とする画像暗号化システム2009
- Inventor(s)
  藤井雄作, 吉浦紀晃
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2009-293787
- Filing Date
  2009-12-25
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 所有者,画像閲覧可能なものを知らしめる情報開示手段を持つことを特徴とする防犯カメラシステム2009
- Inventor(s)
  藤井雄作, 吉浦紀晃
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会
- Industrial Property Number
  2009-185748
- Filing Date
  2009-08-10
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 所有者,画像閲覧可能なものを知らしめる情報開示手段を持つことを特徴とする防犯カメラシステム2009
- Inventor(s)
  藤井雄作,吉浦紀晃
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会
- Industrial Property Number
  2009-185748
- Filing Date
  2009-08-10
- Data Source
  KAKENHI-PROJECT-21300268
[Patent] 暗号化された画像を閲覧権者に応じた強度の不鮮明化処理を施した画像を出力することを特徴とする画像暗号化システム2009
- Inventor(s)
  藤井雄作,吉浦紀晃
- Industrial Property Rights Holder
  NPO法人e自警ネットワーク研究会,イージケイシステム(有),(株)トステック
- Industrial Property Number
  2009-293787
- Filing Date
  2009-12-25
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Software synthesis from specification2018
- Author(s)
  Noriaki Yoshiura
- Organizer
  International Conference on Technological Challenges for Better World 2018
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00010
[Presentation] Software Model Checking and Preventing Software Bugs2017
- Author(s)
  Noriaki Yoshiura
- Organizer
  International Conference on Mechanical, Electrical and Medical Intelligent System 2017
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00010
[Presentation] Privacy protection and abuse prevention by developing e-JIKEI Network Door-phone2017
- Author(s)
  Kaizo Yoshida, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
- Organizer
  International Conference on Mechanical, Electrical and Medical Intelligent System 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02887
[Presentation] Development of lighting control function using moving object detection for e-JIKEI Network Camera2017
- Author(s)
  Hiroki Motegi, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
- Organizer
  International Conference on Mechanical, Electrical and Medical Intelligent System 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02887
[Presentation] Greeting to pedestrian using image processing for e-JIKEI Network Camera2017
- Author(s)
  Hideki Ohki, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Yusaku Fujii
- Organizer
  International Conference on Mechanical, Electrical and Medical Intelligent System 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02887
[Presentation] NetCoreプログラムのCoqによる検証2016
- Author(s)
  伊達弘明，吉浦紀晃
- Organizer
  情報処理学会第32回IOT研究会
- Place of Presentation
  佐賀県
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Development of Security Camera with Privacy Protection and, Social Experiment Using the Security Camera with Privacy Protection2016
- Author(s)
  Sogo Kato, Akihiro Takita, Noriaki Yoshiura, Naoya Ohta, Kouichi Maru, Hiroshi Ueda, Yusaku Fujii, Hideo Matsuda
- Organizer
  The 4th IIAE International Conference on Industrial Application Engineering 2016
- Place of Presentation
  B-Con Plaza, Beppu, Japan
- Year and Date
  2016-03-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02887
[Presentation] Computational Verification of Network Programs for serveral OpenFlow switches in Coq2016
- Author(s)
  Hiroaki Date and Noriaki Yoshiura
- Organizer
  The 16th International Conference on Computational Science and Its Applications
- Place of Presentation
  中国
- Year and Date
  2016-07-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Extracting Environmental Constraints in Reactive System Specifications2015
- Author(s)
  Yuichi Fukaya and Noriaki Yoshiura
- Organizer
  15th International Conference on Computational Science and Its Applications
- Place of Presentation
  カナダ
- Year and Date
  2015-06-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications2015
- Author(s)
  Noriaki Yoshiura and Yuma Hirayanagi
- Organizer
  15th International Conference on Computational Science and Its Applications
- Place of Presentation
  カナダ
- Year and Date
  2015-06-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Implementation of Theorem Prover of Relevant Logic2015
- Author(s)
  Noriaki Yoshiura
- Organizer
  28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
- Place of Presentation
  韓国
- Year and Date
  2015-06-10
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] The e-JIKEI Door-phone : An intercom with security camera function with privacy protection2014
- Author(s)
  K. Muramatsu, S. Kato, H. Sano, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda, K. Sawano and Y. Fujii
- Organizer
  6th International Conference on Advance Micro-Device Engineering
- Place of Presentation
  桐生市民文化会館(群馬県桐生市)
- Year and Date
  2014-12-05
- Data Source
  KAKENHI-PROJECT-24300246
[Presentation] Verification of System Requirements2014
- Author(s)
  Noriaki Yoshiura
- Organizer
  4th International Mechanical Engineering Research Conference
- Place of Presentation
  Cebu City, Philippines
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Smart Street Light System Looking Like Usual Street Lights Based On Sensor Networks2013
- Author(s)
  Noriaki Yoshiura, Yusaku Fujii and Naoya Ohta
- Organizer
  13th International Symposium on Communications and Information Technologies
- Place of Presentation
  Samui, Thailand
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] 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
- Author(s)
  Natsuki Kimura and Noriaki Yoshiura
- Organizer
  5th International Symposium on Cyberspace Safety and Security
- Place of Presentation
  Zhangjiajie, China
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] 静的データレース検出における動的クラスローディングへの対策2012
- Author(s)
  魏偉, 吉浦紀晃
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋,日本
- Year and Date
  2012-03-06
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] リアクティブシステム仕様の実現不能判定器の高速化2012
- Author(s)
  閨芳紀, 吉浦紀晃
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋,日本
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] 静的データレース検出における動的クラスローディングへの対策2012
- Author(s)
  魏偉、吉浦紀晃
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋、日本
- Year and Date
  2012-03-06
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] リアクティブシステム仕様の実現不能判定器の高速化2012
- Author(s)
  閨芳紀、吉浦紀晃
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋、日本
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] The e-JIKEI Network : A Concept for Community Security by Means of Security Cameras at High Density2010
- Author(s)
  Y. Fujii, K. Maru, N. Ohta, T. Jin, Y. Kuwabara, V. Prashyanusorn, P. Prashyanusorn, S. Mitatha, P. P. Yupapin, N. Yoshiura
- Organizer
  3rd Joint Intl. Conference on Information & Communication Technology, Electric and Electrical Engineering
- Place of Presentation
  Lao P. D. R
- Year and Date
  2010-12-23
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Some knowledge obtained in the activity of surveillance camera in E-Jikei Network Project2009
- Author(s)
  N. Yoshiura
- Organizer
  SPC 2009
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Introduction of security camera system with privacy protection into shopping areas2009
- Author(s)
  R. Yamaguchi, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
- Organizer
  ISIDM 2009
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-02-05
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Introduction of security camera system with privacy protection into residential areas2009
- Author(s)
  T. Yokote, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, Y. Fujii
- Organizer
  ISIDM 2009
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-02-05
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Experiment of security camera system with privacy protection into shopping street by the e-JIKEI Network Promotion Institute2009
- Author(s)
  R. Yamaguchi, Y. Fujii, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara
- Organizer
  SPC 2009
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Security camera network for privacy protection and community Safety-Is the stress from security cameras inevitable?-2009
- Author(s)
  Y. Fujii, K. Maru, N. Ohta, N. Yoshiura, H. Ueda, P. Yupapin
- Organizer
  International Conference on Security Camera Network, Privacy Protection and Community Safety 2009(SPC 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Some knowledge obtained in the activity of surveillance camera in E-Jikei Network Project2009
- Author(s)
  Noriaki Yoshiura
- Organizer
  International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Introduction of security camera system with privacy protection into shopping areas2009
- Author(s)
  R. Yamaguchi, K. Maru ,N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
- Organizer
  1st International Symposium on Quantum Metrology and Precision Measurement (ISQMPM 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-03-11
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Security camera network for privacy protection and community Safety-Is the stress from security cameras inevitable?-2009
- Author(s)
  Y.Fujii, K.Maru, N.Ohta, N.Yoshiura, H.Ueda, P.Yupapin
- Organizer
  International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Image processing technique for improving and expanding the privacy protection function of the e-JIKEI security camera system2009
- Author(s)
  Y. Nakajima, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuwabara, Y. Fujii
- Organizer
  ISIDM 2009
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-02-25
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Formal Analysis of OTag Protocol on Authentication and Confidentiality2009
- Author(s)
  K. S. Koralalage, N. Yoshiura
- Organizer
  First International ICST Conference DigiBiz 2009
- Place of Presentation
  London, United Kingdom
- Year and Date
  2009-06-18
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Introduction of security camera system with privacy protection into residential areas2009
- Author(s)
  T. Yokote, K. Maru ,N. Yoshiura, N. Ohta, H. Ueda, Y. Fujii
- Organizer
  1st International Symposium on Quantum Metrology and Precision Measurement (ISQMPM 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-03-11
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Image processing technique for improving and expanding the privacy protection function of the e-JIKEI security camera system2009
- Author(s)
  Y. Nakaiima, K. Maru, N. Yoshiura, N. Ohta, H. Ueda, T. Kuivabara, Y. Fujii
- Organizer
  1st International Symposium on Interferometry and Dynamic Measurement (ISIDM 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-02-25
- Data Source
  KAKENHI-PROJECT-19300239
[Presentation] Experiment of security camera system with privacy protection into shopping street by the e-JIKEI Network Promotion Institure2009
- Author(s)
  R.Yamaguchi, Y.Fujii, K.Maru, N.Yoshiura, N.Ohta, H.Ueda, T.Kuwabara
- Organizer
  International Conference on Security Camera Network, Privacy Protection and Community Safety 2009 (SPC 2009)
- Place of Presentation
  Kiryu, Japan
- Year and Date
  2009-10-28
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Formal Analysis of OTag Protocol on Authentication and Confidentiality2009
- Author(s)
  K. S. Koralalage, N. Yoshiura
- Organizer
  4th International Conference on Ubiquitous Information Technologies and Applications
- Place of Presentation
  Fukuoka, Japan
- Year and Date
  2009-12-21
- Data Source
  KAKENHI-PROJECT-21300268
[Presentation] Static Data Race Detection for Java Programs with Dynamic Class Loading
- Author(s)
  Noriaki Yoshiura and Wei Wei
- Organizer
  7th International Conference on Internet and Distributed Computing Systems
- Place of Presentation
  イタリア
- Year and Date
  2014-09-22 – 2014-09-24
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] 分解証明法を利用したリアクティブシステム仕様の強充足可能性判定器の提案
- Author(s)
  中村風太，吉浦紀晃
- Organizer
  情報処理学会　第187回ソフトウェア工学研究会
- Place of Presentation
  東京都・千代田区
- Year and Date
  2015-03-12 – 2015-03-13
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] リアクティブシステム仕様の外部環境制約式に関する研究
- Author(s)
  深谷悠一，吉浦紀晃
- Organizer
  情報処理学会　第187回ソフトウェア工学研究会
- Place of Presentation
  東京都・千代田区
- Year and Date
  2015-03-12 – 2015-03-13
- Data Source
  KAKENHI-PROJECT-25330008
[Presentation] Review of the e-JIKEI Network: Security camera system for privacy protection and community safety
- Author(s)
  A. Takita, N. Ohta, Y. Fujii, N. Yoshiura, H. Ueda and K. Maru
- Organizer
  3rd International Conference on Informatics, Electronics & Vision (ICIEV)
- Place of Presentation
  Dhaka (Bangladesh)
- Year and Date
  2014-05-23 – 2014-05-24
- Invited
- Data Source
  KAKENHI-PROJECT-24300246
[Presentation] Shopping street safety using all-in-one-type security cameras
- Author(s)
  K. Muramatsu, M. Ishizawa, A. Takita, N. Yoshiura, N. Ohta, K. Maru, H. Ueda and Y. Fujii
- Organizer
  ICISIP 2013: The 1st IEEE/IIAE International Conference on Intelligent Systems and Image Processing 2013
- Place of Presentation
  Kitakyusyu, Japan
- Data Source
  KAKENHI-PROJECT-24300246

1. OHTA Naoya (10270860)

# of Collaborated Projects: 5 results

# of Collaborated Products: 34 results
2. FUJII Yusaku (80357904)

# of Collaborated Projects: 5 results

# of Collaborated Products: 35 results
3. UEDA Hiroshi (30375159)

# of Collaborated Projects: 4 results

# of Collaborated Products: 26 results
4. TAKITA Akihiro (20432768)

# of Collaborated Projects: 4 results

# of Collaborated Products: 15 results
5. MARU Koichi (00530164)

# of Collaborated Projects: 3 results

# of Collaborated Products: 21 results
6. YONEZAKI Naoki (00126286)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. NISHIZAKI Shin-ya (90263615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. YONEDA Tomohiro (30182851)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. TOMOISHI Masahiko (60262284)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. 橋本誠司 (30331987)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. 小林春夫 (20292625)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
12. 天谷賢児 (20221731)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
13. 山口誉夫 (90323328)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
14. 桑名杏奈 (00624628)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
15. 矢野絢子 (70816298)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results

YOSHIURA NORIAKI 吉浦 紀晃

吉浦 紀晃 ヨシウラ ノリアキ

YOSHIURA Noriaki 吉浦 紀晃

Research Projects

Research Products

Co-Researchers

Development of Low-cost Powered Air-Purifying Respirators (PAPRs) and Operational Tests in Hospitals and Universities in Cebu city, Philippines

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Proof system for Realizability Decision of Reactive System Specification described by Temporal LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realization of safe and worry-free community using security camera system, which watches over the whole community with privacy protection

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realizability Decision and Program Synthesis for Reactive System Specification described by Temporal LogicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Suggestion of safe and secure town planning using security camera with both privacy protection and surveillance

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on security camera system using image encryption for safety of community

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research for improving community security by personal security cameras

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理結合子の適切さに基づく有益な情報の導出に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理結合子の適切さに基づく有益な情報の導出に関する基礎研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification methods of secure systems based on logical specifications

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Author(s)

Journal Title

Data Source

[Journal Article] 国際研究協力プロジェクト 低コスト個人用呼吸空気浄化デバイス開発と，フィリピン・セブ市内の病院での運用試験（第一報）2022

Author(s)

Journal Title

Data Source

[Journal Article] 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

Author(s)

Journal Title

Data Source

[Journal Article] Packet Reachability Verification in OpenFlow Networks2020

Author(s)

YOSHIURA NORIAKI 吉浦紀晃

吉浦紀晃ヨシウラノリアキ

YOSHIURA Noriaki 吉浦紀晃

[Journal Article] 国際研究協力プロジェクト　低コスト個人用呼吸空気浄化デバイス開発と，フィリピン・セブ市内の病院での運用試験（第一報）2022

[Journal Article] 通学路への防犯カメラの導入に関するアンケート結果の分析2018