DJ / Producer. [bandcamp / soundcloud / mixcloud]

Please contact me on Discord: cannorin (preferred) or Twitter: @cannorin3.

DJ Styles and Genres

I usually pick one or two from the following styles:

• Atmospheric: DnB, Jungle, Dub Techno, IDM, ...
• Industrial: Frenchcore, Schranz, Doomcore, ...
• Aggressive: Crossbreed, Breakcore, Speedcore, ...
• Peak-time Hardcore: Hardstyle, J-Core, Uptempo, ...

Recurring Appearances

• The Underground (Organizer Since 2019, Irregular Schedule, VRChat)
• GHOSTCLUB (Resident DJ Since 2020, Irregular Schedule, VRChat)
• system crash (Resident DJ Since 2022, Every 4th Friday, Bhanc, Osaka)

Guest Appearances

• SANRIO Virtual Festival in Sanrio Puroland (VRChat)
  • V-fes 2024, ALT3 RED (Mar 10 2024)
  • V-fes 2023, ALT3 RED/BLUE (Jan 21-22 2023)
  • V-fes (2021), ALT3 RED/BLUE (Dec 11-12 2021)
• embodiment (May 19 2023, 夜来香, Osaka)
• miracle☆sugar - sato♡shin & TohLPeaks Release Party (Oct 30 2022, Namba BEARS, Osaka)
• and more...
  • I typically have about 30 guest appearances per year, most of which are VR parties.

Full-stack IT Engineer / Student on Mathematical Logic.

Skills

• Full-stack Web Development (Frontend, Backend, Database).
• Compiler & Developer Tooling (Parser, Type System, Package Manager, Build System).
• Library Development & Document Writing.
• I am fluent in: C#, F#, OCaml, TypeScript.

Works

• nml
• flxble
• FSharp.CommandLine
• ocsigen/ts2ocaml
• fsprojects/FSharpPlus (maintainer)
• ionide/Ionide-vim (maintainer)
• ゴーストクラブ.コム (frontend & backend)
• More on GitHub.

Field of Study

• Mathematical Logic
  • Modal Logic

Papers

• Kurahashi, Sato. The finite frame property of some extensions of the pure logic of necessitation. 2023. arXiv:2305.14762.