{-# theme: antique2 -}
{-# title: 海野秀之のサイト -}

# 海野秀之のサイト

2006/Jul/17 開始

## プロフィール

+ 名前: 海野秀之（うんのひでゆき)
+ 生まれ: １９７３年うまれ、大阪府出身

## 利用アカウントいくつか：

- [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/)