mnruのアンテナ
id:mnru


5/31ページ
▽ほくそ笑む●03/30 09:51 install.packages("deltatest")
▽[Scala] - Onion開発しつつ、PEGEXを開発する日記●03/26 09:56 2023-08-28Scala 3で型レベル自然数をやってみたらすごく簡単になってたScala 3、正式リリースされてからそこそこ経ってますが皆さん使ってますか?実は自分は、主にIntellij IDEAのScala 3対応に不安もあってScala 2.13系列をずっと使い続けて来たのですが、最近はScala 3対応も進んできたようなので乗り換えを始めることにしました。で、手始めにということで型レベル自然数(型レベルペアノ数)を定義してみることにしました。型レベル自然数は読んで字の如くで、型のレベルで自然数をエンコーディングしちゃおうって技です。依存型のある言語なら最初からあるので、わざわざ型レベル自然数とか大仰な言い方しなくてもいいのですが、それはそれとして論より証拠。早速、Scala 3で型レベル自然数を定義してみます。enum Nat { case Zero case Suc
▽ホットコーナー●03/24 04:40 オードリー・ヘプバーンの生涯をAIを利用して1分でまとめた動画 ― 2025年03月21日 23時15分14秒ASAHIネット(http://asahi-net.jp )のjouwa/salonから。これ、とても、よくできてます。手際が鮮やか。思わず、ブログに記録しておきたくなりました。https://x.com/MasayukiTsuda2/status/1900045976276263105オードリー・ヘプバーンの生涯をAIを利用して1分でまとめた動画。背景は出演作や滞在していた場所の風景になっています 〓vcv123321中村(show)
▽電子辞書掲示板●03/23 14:11 ニュースお知らせプレスリリース掲載報告事業紹介会社情報会社概要企業理念沿革役員紹介アクセスIR情報個人投資家の皆様へ経営方針業績・財務情報IRライブラリ株式・社債情報お問い合わせ採用情報ニュースお知らせプレスリリース掲載報告事業紹介会社情報会社概要企業理念沿革役員紹介アクセスIR情報個人投資家の皆様へ経営方針業績・財務情報IRライブラリ株式・社債情報お問い合わせ採用情報teacup. byGMO サービス終了のお知らせteacup. byGMOは、2022年8月1日をもちまして、サービスを終了いたしました。これまでteacup. byGMOをご愛顧いただき、誠にありがとうございました。心より感謝申し上げます。今後とも、GMOメディア株式会社のサービスをよろしくお願いいたします。2022年8月1日IS 65
4.<前5 6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena) %]&utmr=&utmp=http%3A%2F%2Fa.hatena.ne.jp%2Fmnru%2Fmobile.cgi%3Fof%3D20&guid=ON)
