▽ほくそ笑む
●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

▽Haruki Zaemon | My hovercraft is full of eels
●03/25 16:29
〓 2003-2025 Simon Harris. All rights reserved.

▽ﾎｯﾄｺｰﾅｰ
●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