信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

岡﨑裕之  オカザキ ヒロユキ

教員組織学術研究院(工学系)電話番号026-269-5503
教育組織大学院総合理工学研究科 工学専攻FAX番号
職名助教メールアドレスokazaki@cs.shinshu-u.ac.jp
住所〒380-8553 長野県長野市若里4-17-1ホームページURL

更新日:2017/07/19

プロフィール

研究分野
情報セキュリティ(暗号理論)
形式検証
現在の研究課題
形式的手法による暗号理論
キーワード:暗号理論 , 形式的手法
所属学会
所属学会
日本応用数理学会
電子情報通信学会
学歴
出身大学院
2004 , 京都工芸繊維大学 , 工芸科学研究科 , 情報・生産科学専攻
2001 , 京都工芸繊維大学 , 工芸科学研究科 , 電子情報工学専攻

出身学校・専攻等(大学院を除く)
1999 , 京都工芸繊維大学 , 工芸学部 , 電子情報工学科

取得学位
博士(工学) , 京都工芸繊維大学(日本)

免許・資格等
20160516 , 情報セキュリティマネージメント試験
20041216 , 情報セキュリティアドミニストレータ試験
研究職歴等
研究職歴
2007- , 信州大学大学院工学系研究科情報工学専攻(助教)
2005-2007 , 信州大学大学院工学系研究科情報工学専攻(助手)

研究活動業績

研究業績(著書・
発表論文等)
論文
Conservation Rules of Direct Sum Decomposition of Groups
Formalized Mathematics,24(1):81-94 2016
Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama


Algebra of Polynomially Bounded Sequences and Negligible Functions
Formalized Mathematics,23(4):371-378 2016
Author:Hiroyuki Okazaki


Torsion Part of ℤ-module
Formalized Mathematics,23(4):297-307 2016
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Polynomially Bounded Sequences and Polynomial Sequences
Formalized Mathematics,23(3):205-213 2015
Author:Hiroyuki Okazaki, Yuichi Futa


Equivalent Expressions of Direct Sum Decomposition of Groups
Formalized Mathematics,23(1):67-73 2015
Author:Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama


Matrix of Z-module
Formalized Mathematics,23(1):29-49 2015
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Definition and Properties of Direct Sum Decomposition of Groups
Formalized Mathematics,23(1):15-27 2015
Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama


Torsion Z-module and Torsion-free Z-module
Formalized Mathematics,22(4):271-283 2014
Author:Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama


Difference of Function on Vector Space over F
Formalized Mathematics,22(3):265-270 2014
Author:Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki


Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Formalized Mathematics,22(3):189-198 2014
Author:Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
Artificial Intelligence Research,2(4):37-48 2013(Aug.)
Author:Okazaki, H; Futa, Y; Shidama, Y


Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
JOURNAL OF AUTOMATED REASONING,50(2):161-172 2013(Feb.)
Author:Futa, Y; Okazaki, H; Shidama, Y


Submodule of free Z-module
Formalized Mathematics,21(4):273-282 2013
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order
Formalized Mathematics,21(3):207-211 2013
Author:Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama


Double Sequences and Limits
Formalized Mathematics,21(3):163-170 2013
Author:Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama


Formalization of the Advanced Encryption Standard. Part I
Formalized Mathematics,21(3):171-184 2013
Author:Kenichi Arai, Hiroyuki Okazaki


Gaussian Integers
Formalized Mathematics,21(2):115-125 2013
Author:Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama


Constructing Binary Huffman Tree
Formalized Mathematics,21(2):133-143 2013
Author:Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama


N-dimensional Binary Vector Spaces
Formalized Mathematics,21(2):75-81 2013
Author:Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama


Isomorphisms of Direct Products of Finite Commutative Groups
Formalized Mathematics,21(1):65-74 2013
Author:Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama


Random Variables and Product of Probability Spaces
Formalized Mathematics,21(1):33-39 2013
Author:Hiroyuki Okazaki, Yasunari Shidama


The C^k Space
Formalized Mathematics,21(1):25-31 2013
Author:Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama


Banach's Continuous Inverse Theorem and Closed Graph Theorem
Formalized Mathematics,20(4):271-274 2012
Author:Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama


Free Z-module
Formalized Mathematics,20(4):275-280 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Isomorphisms of Direct Products of Finite Cyclic Groups
Formalized Mathematics,20(4):343-347 2012
Author:Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama


Posterior Probability on Finite Set
Formalized Mathematics,20(4):257-263 2012
Author:Hiroyuki Okazaki


Quotient Module of Z-module
Formalized Mathematics,20(3):205-214 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Extended Euclidean Algorithm and CRT Algorithm
Formalized Mathematics,20(2):175-179 2012
Author:Hiroyuki Okazaki, Yoshiki Aoki,Yasunari Shidama


Higher-Order Partial Differentiation
Formalized Mathematics,20(2):113-124 2012
Author:Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama


Formalization of the Data Encryption Standard
Formalized Mathematics,20(2):125-146 2012
Author:Hiroyuki Okazaki, Yasunari Shidama


Functional Space C(ω), C0(ω)
Formalized Mathematics,20(1):15-22 2012
Author:Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama


Z-modules
Formalized Mathematics,20(1):47-59 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Operations of Points on Elliptic Curve in Projective Coordinates
Formalized Mathematics,20(1):87-95 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama


Set of Points on Elliptic Curve in Projective Coordinates
Formalized Mathematics,19(3):131-138 2011
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Banach Algebra of Bounded Complex-Valued Functionals
Formalized Mathematics,19(2):121-126 2011
Author:Katuhiko Kanazashi, Hiroyuki Okazaki and Yasunari Shidama


Differentiable Functions into Real Normed Spaces
Formalized Mathematics,19(2):69-72 2011
Author:Hiroyuki Okazaki, Noboru Endou, Keiko Narita and Yasunari Shidama


Formalization of Integral Linear Space
Formalized Mathematics,19(1):61-64 2011
Author:Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama


Cartesian Products of Family of Real Linear Spaces
Formalized Mathematics,19(1):51-59 2011
Author:Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama


More on Continuous Functions on Normed Linear Spaces
Formalized Mathematics,19(1):45-49 2011
Author:Hiroyuki Okazaki, Noboru Endou and Yasunari Shidama


Normal Subgroup of Product of Groups
Formalized Mathematics,19(1):23-26 2011
Author:Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama


Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables
Formalized Mathematics,18(4):213-217 2010
Author:Hiroyuki Okazaki, Yasunari Shidama


Properties of Primes and Multiplicative Group of a Field
Formalized Mathematics,17(2):151-155 2009
Author:Kenichi Arai,Hiroyuki Okazaki


Probability on Finite Set and Real-Valued Random Variables
Formalized Mathematics,17(2):129-136 2009
Author:Hiroyuki Okazaki,Yasunari Shidama


Probability on Finite and Discrete Set and Uniform Distribution
Formalized Mathematics,17(2):173-178 2009
Author:Hiroyuki Okazaki


Hopf Extension Theorem of Measure
Formalized Mathematics,17(2):157-162 2009
Author:Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama


Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Formalized Mathematics,16(2):103-107 2008
Author:Hiroyuki Okazaki,Yasunari Shidama


Preliminary Study on a Watermarking Scheme Using Background Pattern to Protect Printed Documents
Journal of Signal Processing,11(4):337-340 2007
Author:Katsuki Kobayashi,Heman Aguirre,Hiroyuki Okazaki,Kiyoshi Tanaka


Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Formalized Mathematics,15(4):231-235 2007
Author:Hiroshi Yamazaki, Noboru Endou, Yasunari Shidama,Hiroyuki Okazaki


ヴェイユペアリングを用いた署名者の関連付けが可能なグループ署名方式
電子情報通信学会論文誌,J87-A(No.4):563~568 2004
Author:岡崎 裕之, 境 隆一, 柴山 潔, 笠原 正雄


合成数P^2Qの素因数分解に適した楕円曲線
日本応用数理学会論文誌,Vol.12(No.4):9~19 2002
Author:岡崎 裕之, 境 隆一, 笠原 正雄


学会発表
Formalization of Statistical Indistinguishability of Probability Distribution Ensembles in Mizar
IEICE , The International Symposium on Information Theory and Its Applications , :517-521 2016
Author:Hiroyuki Okazaki


Privacy Preserving Logic Formula Calculation in Cloud
IEEE , 2016 IEEE Tenth International Conference on Semantic Computing (ICSC) , :329-332 2016
Author:Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama


Formalization of Binary Fields and N-dimensional Binary Vector Spaces Using the Mizar Proof Checker
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2013 International Conference on Foundations of Computer Science (FCS'13) , :71-77 2013
Author:Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama


Formalization Description of Huffman Coding Trees Using the Mizar
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2013 International Conference on Foundations of Computer Science (FCS'13) , :59-65 2013
Author:Takaya Ido, Hiroyuki Okazaki, Yasunari Shidama


Content Development for Distance Education in Advanced University Mathematics Using Mizar
World Congress in Computer Science, Computer Engineering, and Applied Computing , The 2013 International Conference on e-Learning, e-Business, Enterprise Information Systems, and e-Government(EEE'13) , :312-326 2013
Author:Takaya Ido, Hiroyuki Okazaki, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari Shidama


Signature as Public Key Structured Cryptosystem and its Application
World Congress in Computer Science, Computer Engineering, and Applied Computing , The 11th International Conference on Security and Management(SAM'12) , :22-27 2012
Author:Kenichi Arai, Hiroyuki Okazaki


Formalization Verification of Number Theoretic Algorithms Using the Mizar Proof Checker
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2012 International Conference on Foundations of Computer Science (FCS'12) , :45-50 2012
Author:Hiroyuki Okazaki, Yoshiki Aoki, Yasunari Shidama


Formalization Verification of AES Using the Mizar Proof Checker
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2012 International Conference on Foundations of Computer Science (FCS'12) , :78-84 2012
Author:Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama


Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar
IEICE , 2012 International Symposium on Information Theory and its Applications (ISITA2012) , :591-595 2012
Author:Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki


Formalization Verification of DES Using the Mizar Proof Checker
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2011 International Conference on Foundations of Computer Science , :63-68 2011(Jul.)
Author:Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama


Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker
World Congress in Computer Science, Computer Engineering, and Applied Computing , 2010 International Conference on Foundations of Computer Science 2010(Jul.)
Author:Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki


An evolutionary multiobjective approach to design highly non-linear Boolean functions
ACM , Genetic and Evolutionary Computation Conference (GECCO 2007) , :749-756 2007
Author:Hernan E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa


A watermarking scheme using background pattern to protect printed documents
信号処理学会 , Proc. International Workshop on Nonlinear Circuits and Signal Processing (NCSP 2007) 2007
Author:Katsuki Kobayashi, Kiyoshi Tanaka, Hernan Aguirre, Hiroyuki Okazaki, Hisayoshi Kunimune,Katsumi Wasaki, Masaaki Niimura, Yasushi Fuwa


その他
Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar.
American Mathematical Society (AMS) and the Mathematical Association of America (MAA) , 2011 Joint Mathematics Meetings (JMM2011) , (1067-94-740):156 2011(Jan. 09)
Author:Hiroyuki Okazaki, Yasunari Shidama,Yuichi Futa


Meta Ring Signature Scheme
IACR , Cryptology ePrint Archive , (2005/310) 2005
Author:H. Okazaki, R. Sakai and M.Kasahara

研究諸活動
学術論文査読件数
2006- , 電子情報通信学会
2006- , 日本応用数理学会

管理運営実績

管理運営実績
学部内委員会等
2005 - , 環境委員会 , 情報工学科環境委員
内部監査委員会 , 環境ISO内部監査員