Okazaki, Hiroyuki.
岡崎, 博之
VIAF ID: 311800728 ( Personal )
Permalink: http://viaf.org/viaf/311800728
Preferred Forms
-
-
- 100 1 _ ‡a 岡崎, 博之
- 100 1 _ ‡a 岡崎, 博之
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Banach algebra of bounded complex-valued functionals | |
Cartesian products of family of real linear spaces | |
Differentiable functions into real normed spaces | |
Formalization of fundamental theorem of finite abelian groups in Mizar / Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki and Yasunari Shidama. W: Trends in contemporary computer science | |
Formalization of integral linear space | |
Functional Space C(Ω), C0(Ω) | |
Hopf extension theorem of measure | |
Inferior limit, superior limit and convergence of sequences of extended real numbers | |
Intānetto kowai hanashi : Pasokon chūdoku kara nogareru tameni | |
More on continuous functions on normed linear spaces | |
Normal subgroup of product of groups | |
Probability measure on discrete spaces and algebra of real-valued random variables | |
Probability on finite and discrete set and uniform distribution | |
Properties of primes and multiplicative group of a field | |
Set of points on elliptic curve in projective coordinates | |
Shinrigaku de omoidoori ni aite o ugokasu merujutsu. | |
Tsukaeru akuyō kinshi no shinrigaku tekunikku | |
Uniqueness of factoring an Integer and multiplicative group Z/pZ* | |
Z-modules | |
Zettai dareka ni hanashitakunaru shinrigaku 100dai. | |
インターネット怖い話 : パソコン中毒から逃れるために | |
心理学で思い通りに相手を動かすメール術 | |
仕事に役立つ!心理学99題 : 仕事相手を意のままに動かせる! | |
使える!悪用禁止の心理学テクニック | |
必ず誰かに話したくなる心理学99題 | |
性格判断バイブル : 対人関係の悩みを解決する174パターンの方法 |