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対戦可のオセロゲーム

つかってみる

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

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

Twitterで見る

投稿した動画

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

ニコ動