Welcome to Nikosai.ml!

興味だけは色々あります。

  • (離散)数学
    計算機モデル(オートマトン・チューリングマシン)
    形式言語
    λ計算
    (素朴)集合論
    (数理)論理学
  • プログラミング
    TypeScript
    C/C++
    Java
    OCaml
    Python
    Visual Basic (VBA)
    BASIC
    FORTRAN
  • Webアプリ
    TypeScript
    HTML/CSS/JS
    Node.js
    Webpack
  • 音楽(特にクラシック・合唱)
    T.Ravenscroft
    J.S.Bach
    F.Mendelssohn
    L.v.Beethoven
    Leroy Anderson
  • 編集(特に校閲)
    Adobe Indesign CC
    LaTeX/Beamer
    Microsoft Office (Word, Excel, PowerPoint)
  • その他趣味
    珈琲
    動画編集・MMD
    TA
    アニメ
    VTuber(ホロライブ中心)
    作編曲
    鉄道旅行
    落語(寄席)
    ゲーム配信

同人誌

私が制作・編集に関わった同人誌を置いておきます。

λ

数理論理学とラムダ計算の世界

計算機科学の基礎である「数理論理学」と「ラムダ計算」に関する入門書。 ……という建前のもと、私の学部時代の講義ノートをベースとして、書きたいことを書けるだけ書いた本。 できるだけ多くの関連トピックに触れるため、傍注やコラム多めの構成。

配線略図.bookシリーズ

鉄道の線路がどのようにつながっているかを図示した「配線略図」に関する同人誌シリーズ。私はレイアウト・編集を担当しています。

楽典和声講座

合唱初心者を対象に、楽典を解説します。

「楽典“和声”講座」と銘打ちましたが、実際のところは機能和声の説明まで行けていません……。

あと、一部の参考音源などへのリンクは準備中です(GitHubリポジトリには置いてあります)。

その他の制作物など

色々置いていきます。

らむだフレンズ

型付き・型なしλ計算のインタプリタ

オセロ

オンライン対戦可・観戦可・AI対戦可のオセロゲーム

その他作曲・採譜した曲一覧

地道に色々な曲にチャレンジしてます。

投稿した動画

ニコニコ動画・生放送の新機能のゆっくり解説動画など