▽Scalaに関するﾌﾞﾛｸﾞ記事まとめ
●11/25 10:51
xuwei-k's blog•14時間前Scala 3ではPredef.valueOfよりscala.compiletime.constValueを使えるなら使おう現状valueOfの方が無駄な処理が挟まりますね｡ 以下実験結果｡Scalaは3.5.2nunulkのﾌﾟﾛｸﾞﾗﾐﾝｸﾞ徒然日記•15時間前私が衝撃を受けたﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語5選はじめに この記事について 以下の記事に触発されて自分でも書いてみました｡ yoric.github.io ﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語が好きなので､気になったものを見つけると触るようにしているんですが､ほとんどは新たな発見や驚くような便利な機能があって､毎回感心させられます｡仕事ではなかなかあれもこれもというわけにいかないのが残念ではありますが､個人で使うｱﾌﾟﾘｹｰｼｮﾝや使い捨てのﾌﾟﾛｸﾞﾗﾑを書くときには､なるべくいろんな言語で書くようにしています｡ 仕

▽Haskellに関するﾌﾞﾛｸﾞ記事まとめ
●11/25 10:12
いものやま｡•12時間前OOC2024の発表を見てみた｡（その2）気づいたら4ヶ月も経ってたけど､OOC2024の動画を見て思ったことの続き｡ 関数型DDD 今回の発表で関数型に関した発表がいくつかあった： 関数型の考え方自体は局所的に使えることもあるので知っておいて損はないと思うけど､ｵﾌﾞｼﾞｪｸﾄ指向で知られたﾃｸﾆｯｸを使えばもっとよくなるところを､関数型の考え方に縛られてしまってﾂﾗい設計になってるんじゃないかというのが思うところ｡ そのあたりを少し話していきたい｡ 代数的ﾃﾞｰﾀ型 関数型の話でいつも出てくるのが代数的ﾃﾞｰﾀ型｡ これ､関数型特有の言語仕様と思われやすいけど､ぶっちゃけた話､直積型はC言語でいう構造体､直和型はC言語でいう共用体なので､…nunulkのﾌﾟﾛｸﾞﾗﾐﾝｸﾞ徒然日記•15時間前私が衝撃を受けたﾌﾟﾛｸﾞﾗﾐﾝｸﾞ言語5選はじめに この記事について 以下の記

▽池田信夫 blog
●11/24 20:52
2024年11月23日21:59経済最大の｢年収の壁｣は100万円にある国民民主党の問題提起で｢年収の壁｣が話題になっているが､基礎控除の引き上げで自治体が減収になるという反対論が出ている｡そこで与党では､所得税の基礎控除48万円を上げる一方､住民税の基礎控除43万円を据え置く案が検討されているという｡これで｢働き控え｣は減るのだろうか｡本書も指摘するように103万円は所得税がかかるだけだが､それを壁と呼ぶとすれば､もっと高い壁が年収100万円にある｡これを超えると住民税10％がかかるのだ｡これは所得税5％より重い｡そして実は､ﾊﾟｰﾄの主婦はこの年収100万円の壁を意識しているのだ｡ﾊﾟｰﾄ主婦の年収とその比率（ﾆｯｾｲ基礎研）上の図は主婦の年収とその人数をみたものだが､年収95～100万円のｸﾞﾙｰﾌﾟが7～8％と突出して多い｡つまり100万円までしか働かないように調節しているので

▽檜山正幸のｷﾏｲﾗ飼育記 (はてなBlog)
●11/23 18:40
2024-11-21等式の二種類の使用法： 選別条件と同一視宣言雑記／備忘ひとつ前の記事｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣において､“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました｡この双対性はちょっと不思議な感じがします｡最終的には､写像（集合圏の射）の並行ﾍﾟｱ（両端が…等式の二種類の使用法： 選別条件と同一視宣言

▽L’eclat des jours
●11/23 09:07
2024-11-20_ 荒船風穴高崎に所用があったので群馬へ行った｡用は午前中に終わったので午後､なんだか良くわからんので荒船風穴へ行くことにした｡風穴というから富士の風穴のように溶岩が固まりきる前に風が通って作られた洞窟かと思ったら､なにか石垣で囲まれた竪穴で謎に満ちている｡と､高崎から安中経由で行こうとするのだが､なかなか着かない｡高崎から遠いのなんのって下仁田というか群馬を甘く見ていたのだ｡下仁田の町に入ってから道路案内が出たので見ると32kmとか書いてある｡えらく遠いではないか｡平日なので第2駐車場という､風穴に近い（200m）ところに行けるのでそこを目指すのだがなかなか着かない｡途中､渓谷への入り口や関東一の鍾乳洞はこちらやら高橋道斎（漢学者にして俳人､郷土史家という江戸時代に突然出て来る田舎の教養人（北越雪譜の鈴木牧之とか）の一人）の墓など､おもしろそうな立ち寄り