Go to Qiita Advent Calendar Top

@mod_poppo

4339Contributions

65
Posts 15
Followees 158
Followers

最近はMLをやっています。

Site/Bloghttps://blog.miz-ar.info/

Location

日本

Support user

About Supporter Service

Support on GitHub Sponsors

Following Organizations

No Organizations you are following

Following tags(15)See all

Isabelle lean lean4 Coq SML#IEEE754 浮動小数点数 LaTeX Lua SML wxWidgets purescript asm.js WebAssembly Haskell

Contributions

article is Liked

Haskellの文字列型：変換時の心構えと変換方法まとめ

article is Liked

Haskellの文字列型：分類と特徴

article is Liked

FMA (fused multiply-add) の話

article is Liked

ArmにあるというJavaScript専用命令とは何か、あるいは浮動小数点数を整数に変換する方法について

article is Stocked

unboxing-vectorの紹介：newtypeフレンドリーなunboxed vector

article is Liked

unboxing-vectorの紹介：newtypeフレンドリーなunboxed vector

article is Liked

x87 FPUの呪い

article is Liked

Haskellでフィボナッチ数列〜Haskellで非実用的なコードを書いて悦に入るのはやめろ〜

article is Stocked

Haskellでフィボナッチ数列〜Haskellで非実用的なコードを書いて悦に入るのはやめろ〜

article is Liked

decimal型（十進小数）に夢を見ている輩が多すぎる