Koji Higasa ( 樋笠 宏次 )

Profile

I am a Japanese undergraduate who major in Physics and enjoy computing.

If you’re interested, please read below :)

Affiliation

  • e-Residency : Estonian personal identification code 39706190031

  • IEEE Membership (student) : #95735156 IEEE Membership

  • Nihon Kiin : 26964076

Certification

- InfoSec

  • Offensive Security Certified Professional (OSCP) (now preparing to pass :))

Activities

- Products

  • Rustcli [WIP]

    I build UNIX/LINUX commands with rust.

  • Gap Vector : gap_vec

    the data structure for an editor

- Writing

  • 量子力学によるJuliaプログラミング入門 (now writing with SATySFi) !Japanese only :(

- Competition

- Participation

Network

There are some SNS accounts on my sidebar. Here, I consolidate other misc accounts or sites I use alphabetically.

Workspace

  • Desktop

    • CPU: Intel Corei7-9700K
    • Memory: 16GB
    • SSD: 500GB
    • HDD: 4TB
    • GPU: GeForce RTX 2080
    • Mother Board: ASRock Z390 Phantom Gaming6
    • Cooler: Noctua NH-D15
    • Power: Seasonic FOCUS+ Series 750W
    • OS: Arch Linux
    • Keyboard: HHKB

  • Laptop

    • Macbook
    • Lenovo ThinkPad X1 Carbon
      • OS: Ubuntu

  • Tools

    • git, neovim, zsh, tmux, fzf, ghq, peco, hub, xcode, InteliJ, Android Studio, chrome canary, chromium, firefox, aws, …………..

Public Key

GnuPG ( RSA4096bit ) Public Key’s fingerprint hashed by sha3-512. When you want to use my public key (separately I send), please make sure this hash value.

715e8927aebb34e43796f10cc6fd3e51837ea2c206e3344b08533ab6dd28d714c58d2faafbf026029ab99ec8252afb1d25fcc727a43b7eeda9486a0d3fd0cf89

Wallet

Interests

  • Ideology
    I’m interested in some agitators' and political crimers'.

  • Computation
    I have the strong interest about how computing machine work and how they process instructions and control system.

Favorites

  • Ideology
    Nihilism. I don’t think this makes us Untermensch as Friedrich Wilhelm Nietzsche refered to.

  • Gnu/Linux
    I like all of the project including the history.

  • Programming Language
    Actually, I wanna use these two lang only.

    • Rust
    • Lisp

  • Editor

    • Neovim
      I love this dark power.
    • InteliJ
      the greatest IDE I often use

  • My home
    A great environment where I can concentrate on any and re-recognize me calmly.

    “I wanna go home as soon as possible." This is what I think whenever I’m out.

  • Art

    • Abstract
    • Contemporary Art
    • Painting of Impressionism

  • Writing
    I feel some beautifulness at the Japanese of Modern Japanese literature.

    • Criticism
    • Essay

  • Physics
    My main interest is in the area of quantum.

  • Math
    I like math theory the most. It is very logical and, moreover, I don’t need to understand extremely high theorem and concept to solve it.

  • Music
    Even though I don’t usually like listening to music, I have some preference.

    “Would you listen to euphoric songs for the broken hearted or dirty voice’s rap music which doesn’t make any sense at all??? I would rather stare at white ceiling and count the dust dropped from it." (In my view, there are many such songs in J-Pop, so I hate listening to J-pop.)

    • Rock
      Linkin Park. The vocalist Chester Charles Bennington has the greatest and the most beautiful shout in the world I think.
    • Classic
      I like the symphony No.1, Gustav Mahler. I feel at ease most.
    • Lo-fi
      I can concentrate most.
    • K-Pop
      They are very impressive.

  • Food

    • Curry
    • Vietnam coffee
    • RedBull
    • Beer: Asahi SUPER “DRY”
    • Whiskey: on the rocks, with soda

  • Football
    I’m a fan of Andres Iniesta and Dennis Bergkamp, Angel Di Maria, David Silva.

Dislikes

Here are my miscellaneous dislikes, sorry… :(

Noisy eater, Big-mouth, Crowds, Psychology, J-Pop, Centralization of power, Japanese government, …

Finally

Thank you very much for your interest. Please enjoy yourself :)

Appendix

  • Special characters
Character LaTeX
ℜ (ℜ)
ℑ (ℑ)
⇐ (⇐) \Leftarrow
⇒ (⇒) \Rightarrow
⇔ (⇔) \LeftRightarrow
∀ (∀) \forall
∃ (∃) \exists
∅ (∅) \O
∧ (∧) \land
∨ (∨) \lor
∇ (∇) \nabla
∂ (∂) \partial
∫ (∫) \int
∈ (∈) \in
∉ (∉) \notin
∋ (∋) \ni
∩ (∩) \cap
∪ (∪) \cup
∝ (∝) \propto
⊂ (⊂) \subset
⊃ (⊃) \supset
⊄ (⊄) \not\subset
⊆ (⊆) \subseteq
⊇ (⊇) \supseteq
† (†) \dagger
‡ (‡) \ddagger
⊕ (⊕) \oplus
⊗ (⊗) \otimes
≤ (≤) \le
≥ (≥) \ge
∼ (∼) \sim
≃ (≃) \simeq
≅ (≅) \cong
≈ (≈) \approx
≡ (≡) \equiv
≠ (≠) \neq
⊧ (⊧) \models
⊥ (⊥) \perp
± (±) \pm
∓ (∓) \mp
× (×) \times
÷ (÷) \div
∑ (∑) \sum
⌊ (⌊) \lfloor
⌋ (⌋) \rfloor
∞ (∞) \infty
∴ (∴) \therefore
∵ (∵) \because

  • Greek letters
Uppercase LaTeX Lowercase LaTeX Strange LaTeX
Α (Α) A α (α) \alpha
Β (Β) B β (β) \beta
Γ (Γ) \Gamma γ (γ) \gamma
Δ (Δ) \Delta δ (δ) \delta
Ε (Ε) E ϵ \epsilon ε (ε) \varepsilon
Ζ (Ζ) Z ζ (ζ) \zeta
Η (Η) H η (η) \eta
Θ (Θ) \Theta θ (θ) \theta ϑ (ϑ) \vartheta
Ι (Ι) I ι (ι) \iota
Κ (Κ) K κ (κ) \kappa
Λ (Λ) \Lambda λ (λ) \lambda
Μ (Μ) M μ (μ) \mu
Ν (Ν) N ν (ν) \nu
Ξ (Ξ) \Xi ξ (ξ) \xi
Ο (Ο) O ο (ο) o
Π (Π) \Pi π (π) \pi ϖ (ϖ) \varpi
Ρ (Ρ) P ρ (ρ) \rho ϱ \varrho
Σ (Σ) \Sigma σ (σ) \sigma ς (ς) \varsigma
Τ (Τ) T τ (τ) \tau
Υ (Υ) \Upsilon υ (υ) \upsilon
Φ (Φ) \Phi ϕ \phi φ (φ) \varphi
Χ (Χ) X χ (χ) \chi
Ψ (Ψ) \Psi ψ (ψ) \psi
Ω (Ω) \Omega ω (ω) \omega

  • Cyrillic letters
Uppercase Lowercase Roman IPA
А а a /a/
Б б b /b/、/bʲ/
В в v /v/、/vʲ/
Г г g /ɡ/
Д д d /d/、/dʲ/
Е е e /je/、/ʲe/、/e/
Ё ё yo /jo/、/ʲɵ/
Ж ж zh /ʐ/
З з z /z/、/zʲ/
И и i /i/、/ʲi/
Й й j /j/
К к k /k/、/kʲ/
Л л l /l/、/lʲ/
М м m /m/、/mʲ/
Н н n /n/、/ɲ/
О о o /o/
П п p /p/、/pʲ/
Р р r /r/、/rʲ/
С с s /s/、/sʲ/
Т т t /t/、/tʲ/
У у u /u/
Φ ф f /f/、/fʲ/
Х х kh /x/
Ц ц ts /t͡s/
Ч ч ch /t͡ɕ
Ш ш sh /ʂ/
Щ щ shch /ɕɕ/
Ъ ъ
Ы ы y [ɨ]
Ь ь ' /ʲ/
Э э e /e/
Ю ю yu /ju/、/ʲu/
Я я ya /ja/、/ʲa/

  • German letters mathfrak
Character
Ä (Ä)
ä (ä)
Ö (Ö)
ö (ö)
Ü (Ü)
ü (ü)
ß (ß)

  • Theorem etc.
    • Theorem 1.1 $$ a = bq + r (q, r \in {\bf Z}, 0 \le r < b) $$ where a is integer and b is non-zero integer.