Zennta

ログイン会員登録

検索後で読むお気に入りお気に入りグループ

履歴

履歴がありません

Qiita一覧

Zenn一覧

お問い合わせフォーム利用規約プライバシーポリシー

1

Idris を始めた話

【Idris】自然数の型を定義して「∀n∈N. n+0=n」を証明する

Idrisで定理証明をやっていく - 論理式 AND

Idrisで定理証明をやっていく - p ならば p の証明

Idrisで定理証明をやっていく

reverse (reverse xs) = xs を証明してみる in Idris2

SnocList recursive viewを型駆動開発してみよう in Idris2

1

1
2
3

１年間ほぼ毎週投稿してみた件

バージョン管理ツールのオールインワン！Node、AWS CLI、Amplify CLIも、asdfで簡単管理！

バージョン管理

Idris2で量子計算〜Qimaeraの紹介〜

コードブロックでサポートされているPrism.jsについて

プログラミング言語

WindowsのWSL2でIdris2のコンパイル環境・実行環境を整える（2024年12月現在）

色々な言語でたらい回し関数の速度を比較してみたその２

プログラミング言語

macOSでIdris2のコンパイル環境・実行環境を整える（2024年6月現在）

色々な言語でたらい回し関数の速度を比較してみた

プログラミング言語

Idris の replace と rewrite

Agdaでラムダ計算

ラムダ計算

定理証明支援系

【Swift】GitHubの言語カラーをすぐ使える拡張作った

2022年11月〜2022年12月のハッカソン開催情報まとめ!

ハッカソン

アイディアソン

ListとStateがFunctor則とMonad則を満たすことをIdrisで証明した

vimのIdris2プラグインのインストールメモ

Haskell 入門してみた

関数型言語

関数型プログラミング

Scalaの依存型refinedをList型の変数に適用すると「リテラル値でない」エラーになる => refineVで解決！

プログラミング

関数型言語

関数型プログラミング

【解決済】ScalaのRefinedがnot foundになる ==>> refined "0.9.27"でインストール成功！

プログラミング

関数型言語

関数型プログラミング

MacBookにliquidhaskellをインストール

【glot.io】paiza.ioやWandboxに代わるオンラインプログラム実行API

形式手法はなぜ流行っていないのか

モデル検査

プログラム検証

JEITAソフトウェアエンジニアリング技術ワークショップ2020「プログラミング言語の進化と未来」開催報告

プログラミング言語

オブジェクト指向プログラミング

[GitHub] gitでpushしたくないファイルを外す (git ignore)

Idris: printf に型をつける

Qiitaに掲載されているプログラミング言語別の記事数を調べてみた

調べてみた

プログラミング言語

アフィン型をPrologで実装してみた

線形型システム

アフィン型システム

Idris で理解するカリー・ハワード対応

カリーハワード対応

Pythonで、持ちうる要素数の上限値と下限値が決められた配列リストを表現する自作データ型を定義する

関数型プログラミング

プログラミング言語

Pythonで関数型言語の依存型と篩型の型クラスを宣言する方法

関数型プログラミング

プログラミング言語

Pythonで、配列要素のデータ型と、配列の長さを型検査する依存型ライクなメソッドを作ってみた

関数型プログラミング

[firefox] をソースから build してみた

1
2
3