TakuLabo

雑記帳

記事一覧 (10 / 25)

PureScript 公式チュートリアルを追いかける (Chapter 2)

タグ: プログラミング PureScript 日記

初めて PureScript に触れてみた。

タグ: プログラミング PureScript 日記

カナダ留学の正直な感想

タグ: 日記

圏を一階述語論理で公理化する

タグ: 数学圏論 Haskell

局所的に射を束ねて得られる対象【指数対象 (Exponential object)】

タグ: 数学圏論

ヘリウム原子を「3粒子系に対するシュレーディンガー方程式」を出発点に量子力学の視点から捉えてみる。

タグ: 物理学量子力学

少し前に録音したピアノ練習中の演奏データ【2021/11/4】

タグ: 日記音楽ピアノ

半年間の語学留学に効果はあったのか？ 2回目の TOEIC 公開テストを受けてみた結果…

タグ: 日記

タグ一覧:

物理学 (18)
古典力学 (9)
量子力学 (5)
数学 (59)
圏論 (32)
位相 (1)
線形代数 (7)
高校数学 (4)
プログラミング (32)
C言語 (4)
Haskell (36)
Java (1)
Python (2)
PureScript (3)
日記 (53)
小ネタ (25)
音楽 (4)
ピアノ (12)
ゲーム (18)
YouTube (36)

ページの先頭へ