Yuto Takei

bitflyer bitcoin blockchain engineering computer 早稲田 programming university information technology information science windows ブロックチェーン c# cryptocurrency ethereum minchain 仮想通貨 ビットコイン ビットフライヤー microsoft elliptic curve 暗号通貨 azure data mathematics operating system os type theory dns アルゴリズム .net core hardware software shell github git formal language データベース rsa kernel linux cryptography algorithm dhcp ip tcp security network フォーク mining マイニング .net ハッシュ database function functional language cloud jazug language automaton mvp dlp unsafe 文字列 pointer ecdsa lightning chainflyer string コンセンサス 障害 インシデント db クラウド uasf fork failover sql unlimited redis storage 復旧 ストレージ segwit licensing computing cloud computing open source legal kubernetes aks docker container deploy devops sfc keio mitou 未踏 ソフトウェア interop titech miyabi privacy ignite quorum diversity inclusion technology 多様性 ダイバーシティ dao solidity the dao プログラマ フィンテック イノベーション トランザクション 暗号 electronics fpga vhdl socket concurrent parallel context free grammar cfg antlr syntax ocaml haskell inference coq compiler prime integer copyright gnu 暗号資産