https://KeenS.github.io/categories/advent-calendar/ Recent content in Advent Calendar on κeenのHappy Hacκing Blog Hugo -- gohugo.io ja-jp Sat, 03 Dec 2022 17:50:37 +0900 https://KeenS.github.io/blog/2022/12/03/idris2nokanrihapackniomakase/ Sat, 03 Dec 2022 17:50:37 +0900 https://KeenS.github.io/blog/2022/12/03/idris2nokanrihapackniomakase/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2022/idris">Idris/Idris2 Advent Calendar 2022</a>の1日目の記事として過去に遡って投稿しています。</p> <p>κeenです。ぼちぼちIdris2を触りはじめたので小出しに色々なことを書いていきます。今回はIdris2のインストーラ兼パッケージマネージャ兼ビルドツールのpackについて</p> https://KeenS.github.io/blog/2021/12/20/rustdedockerno__passworddenyuuryokushitapasuwa_dowonusumu/ Mon, 20 Dec 2021 23:19:28 +0900 https://KeenS.github.io/blog/2021/12/20/rustdedockerno__passworddenyuuryokushitapasuwa_dowonusumu/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2021/rust">Rust Advent Calendar</a>の9日目の記事です。</p> <p>空いてる日を埋める担当のκeenです。9日目が空いてたので遡って記事を投稿します。RustというよりLinuxの知識を使った記事ですが。Docker CLIでログインするときに <code>--password</code> オプションを使うとパスワードが盗まれる可能性があるよという警告が出たことありませんか？あれを実際にやってみたいと思います。</p> https://KeenS.github.io/blog/2021/12/20/moldwotsukautorustnobirudogahayakunaru/ Mon, 20 Dec 2021 02:53:43 +0900 https://KeenS.github.io/blog/2021/12/20/moldwotsukautorustnobirudogahayakunaru/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2021/rust">Rust Advent Calendar</a>の2日目の記事です。</p> <p>空いてる日を埋める担当のκeenです。2日目が空いてたので遡って記事を投稿します。</p> <p>最近v1.0.0がリリースされたリンカ、<a href="https://github.com/rui314/mold">mold</a>を使うとビルドが高速化するよというお話です。</p> https://KeenS.github.io/blog/2021/12/20/rustnotesutoha2shuruinoopushongaaru/ Mon, 20 Dec 2021 01:57:28 +0900 https://KeenS.github.io/blog/2021/12/20/rustnotesutoha2shuruinoopushongaaru/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2021/rust">Rust Advent Calendar</a>の1日目の記事です。</p> <p>空いてる日を埋める担当のκeenです。1日目が空いてたので遡って記事を投稿します。 Rustでテストをするときに渡すオプションが2種類あるという話について。</p> https://KeenS.github.io/blog/2020/12/28/smlnoshorikeikumikomireigaittenanda/ Mon, 28 Dec 2020 12:09:20 +0900 https://KeenS.github.io/blog/2020/12/28/smlnoshorikeikumikomireigaittenanda/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/ml">ML Advent Calendar 2020</a>の17日目の記事です。空いてるのも寂しいので埋めます。</p> https://KeenS.github.io/blog/2020/12/25/rustnomutexnopoisoning/ Fri, 25 Dec 2020 23:08:50 +0900 https://KeenS.github.io/blog/2020/12/25/rustnomutexnopoisoning/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/rust3">Rust 3 Advent Calendar 2020</a>の16日目の記事です。 前はbantechさんで<a href="https://banatech.net/blog/view/46">actix-webでformいろいろ</a>、後はkaz399さんで<a href="https://qiita.com/kaz399/items/efee902888869efec8e3">2020年 Rust で使える Bluetooth Low Energy ライブラリはどうなってるの (Windows10) - Qiita</a>でした。</p> <p>空いている日を埋める担当のκeenです。 最近RustのMutexのPoisoningについて動向があったので紹介します。</p> https://KeenS.github.io/blog/2020/12/25/idrisnoelaboratorderifurekushon/ Fri, 25 Dec 2020 20:40:02 +0900 https://KeenS.github.io/blog/2020/12/25/idrisnoelaboratorderifurekushon/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の25日目の記事です。</p> <p>今回はIdrisの面白機能の1つElaboratorのリフレクションを利用したメタプログラミング紹介しようと思います。 かなりコアな部分に踏み込むので分からなかったら「へー、そんな機能もあるんだ」と思っておいて下さい。</p> https://KeenS.github.io/blog/2020/12/24/idrisnoffitocodegen_c_javascript_/ Thu, 24 Dec 2020 20:48:08 +0900 https://KeenS.github.io/blog/2020/12/24/idrisnoffitocodegen_c_javascript_/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の24日目の記事です。 前はhiropon21さんで<a href="https://zenn.dev/hiropon21/articles/d9331813644265">SnocList recursive viewを型駆動開発してみよう in Idris2 </a>でした。 Idris2は1と比べて型システムが微妙に変わっており、ところどころ <code>0 a</code> のようにその値を使える回数が表示されていたりしますね。</p> <p>κeenです。今回はIdrisのFFIとCodegenについて触れたいと思います。</p> https://KeenS.github.io/blog/2020/12/23/idrisdetakasaga100_tadashiiavlkiwoteigisuru/ Wed, 23 Dec 2020 20:29:01 +0900 https://KeenS.github.io/blog/2020/12/23/idrisdetakasaga100_tadashiiavlkiwoteigisuru/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の22日目の記事です。</p> <p>κeenです。今回は依存型を使って部分的に正しさを証明したデータ構造を作っていきたいと思います。 慣れてない人には難しめの内容になるかもしれません。</p> https://KeenS.github.io/blog/2020/12/22/idrisomoshirokinou_bungeitekiidris/ Tue, 22 Dec 2020 23:33:53 +0900 https://KeenS.github.io/blog/2020/12/22/idrisomoshirokinou_bungeitekiidris/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の21日目の記事です。 前はmock_beginnerさんで<a href="https://kengo-yamashita.hatenablog.com/entry/2020/12/20/Idris%E3%81%A8%E3%81%AF%E3%81%98%E3%82%81%E3%82%8B%E5%9E%8B%E9%A7%86%E5%8B%95%E9%96%8B%E7%99%BA">Idrisとはじめる型駆動開発</a>でした。</p> <p>κeenです。大ネタが続いたのでそろそろ小ネタでも。文芸的プログラミングの機能です。</p> https://KeenS.github.io/blog/2020/12/22/idrisdeizongatawotsukattashoumeinyuumon/ Tue, 22 Dec 2020 19:04:42 +0900 https://KeenS.github.io/blog/2020/12/22/idrisdeizongatawotsukattashoumeinyuumon/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の19日目の記事です。 次はmock_beginnerさんで<a href="https://kengo-yamashita.hatenablog.com/entry/2020/12/20/Idris%E3%81%A8%E3%81%AF%E3%81%98%E3%82%81%E3%82%8B%E5%9E%8B%E9%A7%86%E5%8B%95%E9%96%8B%E7%99%BA">Idrisとはじめる型駆動開発</a>です。</p> <p>κeenです。今回はこのAdvent Calendarの山場の1つ、定理証明について解説しようと思います。</p> https://KeenS.github.io/blog/2020/12/22/idrisomoshirokinou_withkoubuntoview/ Tue, 22 Dec 2020 04:53:18 +0900 https://KeenS.github.io/blog/2020/12/22/idrisomoshirokinou_withkoubuntoview/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の18日目の記事です。</p> <p>κeenです。Idrisで個人的に面白いなーと思ってる機能、 <code>with</code> 構文とそれを利用したViewについて紹介します。</p> https://KeenS.github.io/blog/2020/12/20/idrisnoshintakkusushuga_too_ba_ro_do_atoyu_zateigikoubun/ Sun, 20 Dec 2020 22:50:48 +0900 https://KeenS.github.io/blog/2020/12/20/idrisnoshintakkusushuga_too_ba_ro_do_atoyu_zateigikoubun/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の17日目の記事です。</p> <p>κeenです。今回は小ネタとしてシンタックスシュガー（糖衣構文）やオーバーロードについて紹介します。 あとIdrisにはユーザが構文を拡張できる機能もあるのでそれも紹介します。</p> https://KeenS.github.io/blog/2020/12/20/smlnoderived_form/ Sun, 20 Dec 2020 22:04:47 +0900 https://KeenS.github.io/blog/2020/12/20/smlnoderived_form/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/ml">ML Advent Calendar 2020</a>の21日目の記事です。 前はelpinalさんで「長さn以上のリストをファンクタで」、後はnymphuimさんで「OCaml の小ネタを書く」です。</p> <p>κeenです。小ネタなんですが、SMLのDerived Formsについて書きます。</p> https://KeenS.github.io/blog/2020/12/20/idrisnotesutotoci/ Sun, 20 Dec 2020 16:45:01 +0900 https://KeenS.github.io/blog/2020/12/20/idrisnotesutotoci/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の16日目の記事です。</p> <p>κeenです。今回はipkgを使ったIdrisのテストとCIを紹介していきます。CIはGitLab CIとGitHub Actions両方の設定を紹介します。</p> https://KeenS.github.io/blog/2020/12/19/idrisdocnotsukaikata/ Sat, 19 Dec 2020 18:21:39 +0900 https://KeenS.github.io/blog/2020/12/19/idrisdocnotsukaikata/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の15日目の記事です。</p> <p>κeenです。今回はIdrisのドキュメントコメントとそれを使ったドキュメント生成ツールの使い方を紹介します。</p> https://KeenS.github.io/blog/2020/12/17/idrisnopakke_jitoipkg/ Thu, 17 Dec 2020 06:45:33 +0900 https://KeenS.github.io/blog/2020/12/17/idrisnopakke_jitoipkg/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の14日目の記事です。</p> <p>κeenです。今回はIdrisのパッケージ機能とipkgについて説明します。</p> https://KeenS.github.io/blog/2020/12/16/idrisnonamaetsukiparame_tatogadt/ Wed, 16 Dec 2020 05:27:56 +0900 https://KeenS.github.io/blog/2020/12/16/idrisnonamaetsukiparame_tatogadt/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の13日目の記事です。</p> <p>κeenです。 今回は座学パートとして標準ライブラリでよく使われてるけどまだ触れてない記法に触れていこうと思います。</p> https://KeenS.github.io/blog/2020/12/16/idristenarai__bitsuttomappugazounokakidashi/ Wed, 16 Dec 2020 02:40:32 +0900 https://KeenS.github.io/blog/2020/12/16/idristenarai__bitsuttomappugazounokakidashi/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a> の12日目の記事です。</p> <p>κeenです。今回は手を動かすパートとしてビットマップ画像の書き出しをIdrisでやってみます。 依存型やIdrisの標準ライブラリ、ファイルの扱いなどの練習になればなと思ってます。</p> https://KeenS.github.io/blog/2020/12/15/idrisnomoju_rutopureryu_do_hyoujunraiburari/ Tue, 15 Dec 2020 06:03:03 +0900 https://KeenS.github.io/blog/2020/12/15/idrisnomoju_rutopureryu_do_hyoujunraiburari/ <p>このエントリは<a href="https://qiita.com/advent-calendar/2020/idris">Idris Advent Calendar 2020</a>の11日目の記事です。</p> <p>κeenです。今回はIdrisの複数のファイルだとか標準ライブラリだとかを扱おうと思います。</p>