top of page

瞬間の作成

発見に向けて

2_edited.png
2_edited.png
tools-car key.png
tools-wireless earpiece.png
tools-wireless mouse.png
Lock blue_edited.png
2_edited.png
2_edited.png
2_edited.png

最近の作品

73.png

「耐量子暗号の構築」

— 研究課題

85.png
95 (1).png
w1.png
91.png
80.png
95 (2).png
95.png

タイムライン

  • 1930s - Gödel’s Incompleteness Theorem
    Our research problem begins with Gödel’s Incompleteness Theorem that states: “In any reasonable mathematical system there will always be true statements that cannot be proved”
  • mid 1930s - Halting Problem
    The halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running, or continue to run forever. Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist. The halting problem is the first proven example of an undecidable problem.
  • 2020s - Research Progress
    “Building Quantum Resistant Encryption” The above question is the problem statement at the core of our recent research. By researching the progress of the problem, theorems developed earlier and the concept of undecidability we have developed our own patented encryption as a proposed method to solve the problem. Latest News

技術価値

Untitled_Artwork (7).png

— 量子コンピューティングサイバーセキュリティ準備法 2021-2022

「暗号化は . . .経済の機能」

bottom of page