https://www.nahcnuj.work 林 純一 (Junichi Hayashi) のウェブサイト ja Sat, 28 Feb 2026 13:14:51 GMT https://www.nahcnuj.work/diary/2025/02/24.html.html https://www.nahcnuj.work/diary/2025/02/24.html.html Tue, 24 Feb 2026 00:00:00 GMT Honoのvite開発サーバーで拡張子を付けると404 Not Foundになって不便だった件について、MDXファイルに拡張子を含めることで解決しました。 https://www.nahcnuj.work/diary/2026/02/2026-02-03.html.html https://www.nahcnuj.work/diary/2026/02/2026-02-03.html.html Tue, 03 Feb 2026 00:00:00 GMT Dependabotがリポジトリシークレットを読み取れずにワークフローが失敗していた。GitHubリポジトリの設定にDependabot用のリポジトリシークレットの設定が別で用意されていたのでそれを設定した。 https://www.nahcnuj.work/diary/2026/02/2026-02-02.html.html https://www.nahcnuj.work/diary/2026/02/2026-02-02.html.html Mon, 02 Feb 2026 00:00:00 GMT 当サイトのMDXファイルをGoogle Driveで管理するようにし、GitHub Actionsで自動的に同期して更新する仕組みを構築した。 https://www.nahcnuj.work/diary/2025/02/26.html.html https://www.nahcnuj.work/diary/2025/02/26.html.html Wed, 26 Feb 2025 00:00:00 GMT 久しぶりにNode.jsのダウンロードページを見に行ったら新しいバージョンマネージャー fnm というものが推奨されていた。 https://www.nahcnuj.work/essays/feel/2025/02/08.html.html https://www.nahcnuj.work/essays/feel/2025/02/08.html.html Sat, 08 Feb 2025 00:00:00 GMT https://www.nahcnuj.work/essays/programming/functional/andthen-and-then-monad.html.html https://www.nahcnuj.work/essays/programming/functional/andthen-and-then-monad.html.html Sun, 17 Nov 2024 00:00:00 GMT 「andThen」からモナドへの一歩を踏み出しましょう。 この記事では、Option、Except、Stateなどのデータ構造に見られる「andThen」関数の共通性を通じて、モナドが持つ高度な抽象化概念を紹介します。 https://www.nahcnuj.work/diary/2024/10/16.html.html https://www.nahcnuj.work/diary/2024/10/16.html.html Wed, 16 Oct 2024 00:00:00 GMT https://www.nahcnuj.work/diary/2024/04/11.html.html https://www.nahcnuj.work/diary/2024/04/11.html.html Thu, 11 Apr 2024 00:00:00 GMT https://www.nahcnuj.work/essays/edu/arith_mul-comm.html.html https://www.nahcnuj.work/essays/edu/arith_mul-comm.html.html Thu, 11 Apr 2024 00:00:00 GMT 「ひとつあたりの量」と「いくつ分」に当たるモノが何かを児童に示させたいのであれば、それをはっきりと示させれば良いだろう。 https://www.nahcnuj.work/diary/2024/03/28.html.html https://www.nahcnuj.work/diary/2024/03/28.html.html Thu, 28 Mar 2024 00:00:00 GMT https://www.nahcnuj.work/diary/2024/03/23.html.html https://www.nahcnuj.work/diary/2024/03/23.html.html Sat, 23 Mar 2024 00:00:00 GMT 定理証明支援系Lean 4による定理証明の方法を勉強しました。 https://www.nahcnuj.work/diary/2024/03/20.html.html https://www.nahcnuj.work/diary/2024/03/20.html.html Wed, 20 Mar 2024 00:00:00 GMT Rakuで自作していたサイト生成機構をHonoXで作り変えました。 https://www.nahcnuj.work/essays/math/electronics/derive-fourier-transform-of-gaussian-filter.html.html https://www.nahcnuj.work/essays/math/electronics/derive-fourier-transform-of-gaussian-filter.html.html Thu, 06 May 2021 00:00:00 GMT ガウシアンフィルターのフーリエ変換の導出をやってみました。 https://www.nahcnuj.work/diary/2020/07/20.html.html https://www.nahcnuj.work/diary/2020/07/20.html.html Mon, 20 Jul 2020 00:00:00 GMT SSH先の開発環境のコードを手元のVisual Studio Code上で編集できるようにした。 https://www.nahcnuj.work/diary/2020/07/04.html.html https://www.nahcnuj.work/diary/2020/07/04.html.html Sat, 04 Jul 2020 00:00:00 GMT 浜弓場双先生の作品展に行ってきた。 https://www.nahcnuj.work/works/2017/01_softdon.html.html https://www.nahcnuj.work/works/2017/01_softdon.html.html Fri, 01 Dec 2017 00:00:00 GMT Mastodonのローカルタイムラインを読み上げるアプリケーション https://www.nahcnuj.work/works/2013/01_ochimono.html.html https://www.nahcnuj.work/works/2013/01_ochimono.html.html Sun, 01 Dec 2013 00:00:00 GMT ブロックを数式の形に並べて消す落ち物パズルゲーム https://www.nahcnuj.work/works/2012/01_breaking-enemies.html.html https://www.nahcnuj.work/works/2012/01_breaking-enemies.html.html Sat, 01 Dec 2012 00:00:00 GMT https://www.nahcnuj.work/works/2011/01_funny-breakout.html.html https://www.nahcnuj.work/works/2011/01_funny-breakout.html.html Thu, 01 Dec 2011 00:00:00 GMT ランダムに跳ね返るブロック崩し https://www.nahcnuj.work/works/2011/02_change-seats.html.html https://www.nahcnuj.work/works/2011/02_change-seats.html.html Thu, 01 Dec 2011 00:00:00 GMT 席替えの席決めを自動でやってくれるツール