{-# theme: antique2 -} {-# title: 海野秀之のサイト -} # 海野秀之のサイト 2006/Jul/17 開始 ## プロフィール + 名前: 海野秀之(うんのひでゆき) + 生まれ: 1973年うまれ、大阪府出身 ## 利用アカウントいくつか: - [Twitter](https://twitter.com/unnohideyuki) - [GitHub](https://github.com/unnohideyuki) ## こんてんつ - [Android むけ Haskell コンパイラをリリースしました!](BunnyHaskellCompiler009) 2020 年 12 月 15 日公開 -- Haskell Advent Calendar 2020, 15 日目の記事として書いたもの - [AtCoder Beginners Selection を Haskell で](AbsInHaskell) 2019 年 12 月 15 日公開 -- Haskell Advent Calendar 2019, 15 日目の記事として書いたもの - [How to make ad-hoc polymorphism less ad hoc 邦訳](wadler88_ja) 2018 年 12 月 15 日公開 -- Haskell Advent Calendar 2018, 15 日目の記事として訳してみました - [型システムを学ぼう!](HindleyMilnerInHaskell) 2017 年 12 月 15 日公開 -- Haskell Advent Calendar 2017, 15 日目の記事として書いたもの - [Haskell コンパイラを書こう](HaskellInHaskell) 2016 年 12 月 15 日公開 -- Haskell Advent Calendar 2016, 15 日目の記事として書いたもの - [Typing Haskell in Haskell ノート](thihnote) 2016 年 12 月 6 日 公開 ### 日記・メモ類 - [bunny notes](bunny_notes) - AtCoder練習ログ [6](atcoder_drills6), [5](atcoder_drills5), [4](atcoder_drills4), [3](atcoder_drills3), [2](atcoder_drills2), [1](atcoder_drills) - [練習題ず](excercise202012) - [アルゴリズム自分でかく練習](algtrain) - [2023 GW](gw2023) - [蟻本ろぐ](antbook) - Private notes: [1](private01)/[d](priv202101)/[L](leetlog01)/[E](english_scripts) - [Haskell で AtCoder](athaskell) / [Snips C++](cpp_snips) / [AtCoder 分類](atcoder_categ) / [どうぐばこ](Snippets) - みた映画 [2019](movies2019) - Diary: + 2022 [12](diary202212) | [11](diary202211) | [10](diary202210) | [09](diary202209) | [01](diary202201) + 2021 [01](diary202101) + 2020 [12](diary202012) | [04](diary202004) | [03](diary202003) + 2019 [07](diary201907) | [05](diary201905) + 2018 [12](diary201812) |[10](diary201810) |[09](diary201809) |[05](diary201805) | [01](diary201801) + 2017 [12](diary201712) |[02](diary201702) | [01](diary201701) + 2016 [12](diary201612) |[11](diary201611) | [10](diary201610) | [07](diary201607) | [06](diary201606) | [05](diary201605) | [04](diary201604) | [03](diary201603) + 2015 [09](diary201509) | [07](diary201507) | [06](diary201506) | [05](diary201505) | [04](diary201504) - [uDiary](http://uhideyuki.sakura.ne.jp/uDiary/): 2015 年 4 月までの diary - [あんてな](http://uhideyuki.sakura.ne.jp/a/) - [おすすめリンク](favorites) ## プログラム - [Studs](https://github.com/unnohideyuki/Studs) 作成中 - [ChangeLog](studs-changelog) - [既知の問題](studs-known-bugs) ## しらべもの/おべんきょ ### Haskell コンパイル技術関連 文献読みノート * [まとめ方について](matome-format) * [Dictionary-free Overloading by Partial Evaluation](dictfree) : Haskell の ad-hoc polymorphism の実装方式について * [ノート: Haskell の型付けを Haskell で (Typing Hasell in Haskell)](thihnote) ## 小ネタ - [ECC (ハミング符号) 数当て手品 CGI](http://uhideyuki.sakura.ne.jp/files2008/7_4_sec.html) ## 家電のとりせつ(コピー) - 洗濯乾燥機 - [取り扱い説明書](https://uhideyuki.sakura.ne.jp/files2020/bd-sv110e_b.pdf) - [据え付け説明書](https://uhideyuki.sakura.ne.jp/files2020/bd-sv110e_ss_b.pdf) - [カンタンご使用ガイド](https://uhideyuki.sakura.ne.jp/files2020/bd-sv110e_kg_b.pdf) ## リンク - [deepL](https://www.deepl.com/ja/translator), [Langsmith](https://langsmith.co.jp/), [grammaly](https://www.grammarly.com/), [Power Thesaurus](https://www2.powerthesaurus.org/), [Hyper Collocation](https://hypcol.marutank.net/ja/)