Nobuo Yamashita
@nobsun.bsky.social
I love programming in Haskell, and playing low flute (e.g. bass flute, contrabass flute and subcontrabass flute in F).
July 19, 2025 at 12:43 AM
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #704,618 番目でした。
September 17, 2024 at 8:24 AM
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #704,618 番目でした。
9/22(Sun) CbFl.で参加します。
scontent-nrt1-2.cdninstagram.com/v/t51.29350-...
scontent-nrt1-2.cdninstagram.com/v/t51.29350-...
August 28, 2024 at 3:37 PM
9/22(Sun) CbFl.で参加します。
scontent-nrt1-2.cdninstagram.com/v/t51.29350-...
scontent-nrt1-2.cdninstagram.com/v/t51.29350-...
「ポインタ、完全に理解した」と最初に思った（理解したとはいってない）とき。
CプログラムブックIII という本で以下の一節を読んだとき。
CプログラムブックIII という本で以下の一節を読んだとき。
March 2, 2024 at 10:26 AM
「ポインタ、完全に理解した」と最初に思った（理解したとはいってない）とき。
CプログラムブックIII という本で以下の一節を読んだとき。
CプログラムブックIII という本で以下の一節を読んだとき。
twitter.com/cutsea110/st...
cutsea110さんのAgdaコードまねた。
cutsea110さんのAgdaコードまねた。
February 29, 2024 at 11:36 AM
twitter.com/cutsea110/st...
cutsea110さんのAgdaコードまねた。
cutsea110さんのAgdaコードまねた。
有限リスト上で reverse が対合であることの証明をHaskellで書いてみた。型族 ++ とかシングルトン型SList、Singの定義は含まれてませんが、雰囲気は伝わると思う。
February 29, 2024 at 10:28 AM
有限リスト上で reverse が対合であることの証明をHaskellで書いてみた。型族 ++ とかシングルトン型SList、Singの定義は含まれてませんが、雰囲気は伝わると思う。
三角の部分を2色分、用意する必要があります。
February 17, 2024 at 8:33 AM
三角の部分を2色分、用意する必要があります。
そうなんですよ。向きがあるので裏返し操作が必要になります。SICP にある flip-vert とかのコンビネータを作成しておくのが吉です。
February 15, 2024 at 9:39 AM
そうなんですよ。向きがあるので裏返し操作が必要になります。SICP にある flip-vert とかのコンビネータを作成しておくのが吉です。
ふう。トイなプログラムだというのに。やっとだな。
February 13, 2024 at 3:40 PM
ふう。トイなプログラムだというのに。やっとだな。
