osiireのアンテナ

2025/03/13 18:04:19 檜山正幸のキマイラ飼育記
2025-03-13
モナドの靴を履いたスパンとファミリー、そして二重圏
雑記／備忘
集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…
モナドの靴を履いたスパンとファミリー、そして二重圏
2025/03/13 06:17:09 にわとり小屋でのプログラミング日記
2025-03-12
あみだくじが無限ループしないことを証明した
どんなあみだくじでも答えにたどり着くことを証明した。
ここでいうあみだくじとは
有限本のくじ(縦棒)がある
縦棒上の点と点を結ぶ横道が有限本ある
横道は水平線だけじゃなく、遠くのくじへ行ったり自身を上に行ったりできる
ダメなこと
「ふりだしへもどる」はない
同じ点と点を結ぶことはできない
一方通行はない
一度通ると崩れるマリオのブロ
2025/03/13 03:45:12 ぱきらぽん超跡地
「こんなに高い場所にどうやって絵を描いたんだろう」
中国・広西チワン族自治区壁画撮影行　その3
予定ではこの日はベトナム国境まで行って、古くからある門やベトナム物産の店などを見る予定だったが、どうもそれがさほど面白くなさそうだ。また、こちらに来てずっと曇天で小雨交じりで、この後もずっとそうした天気が予想されていた。上陸がどうなるか、状況次第で…
lithos Graphics web log
遺跡
2025/03/12 12:33:37 スラッシュドット・ジャパン: アレゲなニュースと雑談サイト
雑談用ストーリー [4] 1180
2025/01/18 15:35:00 たけをの日記＠天竺から帰ってきたよ
2025-01-14
RSGT2025のOST 「3回目の参加だけど今回はRSGTが楽しくなかった」セッションに思ったこと
今年もお陰様で、RSGT2025に参加できました。
で、まともな参加記などを書かず、こんなポストを書いています。すいません。
タイトルにあるセッションは、RSGT2025 Day3のOSTにて実施されたものでした。目を引く提案だったこともあり、RSGT終了後も様々な方が、特に
2024/11/14 14:29:05 kamonama@Blogger
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信Bl
2024/03/31 05:02:02 komamitsu.log
この広告は、90日以上更新していないブログに表示しています。
2024/03/28 12:13:29 Oh, you `re no (fun _ → more)
camlspotter’s blog
読者になる
2024/03/28 10:26:05 らくがきえんじん
らくがきえんじん
読者になる
2024/03/28 02:15:20 keigoiの日記
keigoiの日記
読者になる
2024/03/28 01:52:40 大島芳樹のカリフォルニア日記
squeakerのブログ
読者になる
2024/03/28 01:25:43 zyxwvの日記
zyxwvの日記
読者になる
2024/03/27 23:02:34 みずぴー日記
みずぴー日記
読者になる
2024/03/27 20:16:48 www.textfile.org
www.textfile.org
読者になる
2024/03/27 20:13:06 Gemmaの日記
Gemmaの日記
読者になる
2024/03/27 18:36:13 すえひろがりっっっっ!
suer のブログ
読者になる
2024/03/27 16:34:23 Y.FUJITA::NOTEPAD::YPSILON
Y.FUJITA::NOTEPAD::YPSILON
読者になる
2024/03/27 13:04:17 まぁ、そんなもんでしょう。
osiire’s blog
読者になる
2023/12/17 22:47:44 programming
793
793
203
Posted by8 hours ago
203
667
Posted by1 day ago
667
413 comments
11
Posted by4 hours ago
[Recap] Himeji: A Scalable Centralized System for Authorization at Airbnb
recaptech.substack.com/p/
2023/03/07 06:13:01 Lambda the Ultimate | Programming Languages Weblog
Platonic C# - Managing Referential Transparency through Unique Types
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around default
2023/02/13 20:05:33 sumiiの日記
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 /
2021/11/21 20:58:06 d.y.d.
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
2021/09/22 12:04:38 soutaroにっき
Copy iframe embed code
Copy iframe embed code
2015/08/10 07:41:52 Shiro
2009/02/06 表現の訓練の場
Last modified : 2015/08/09 21:38:49 UTC
2015/06/01 02:08:47 Linux > Mac > Windows
↑超えられない壁
スポンサーサイト
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
スポンサー広告 :
このページのトップへ
ブログの移転
過去の記事をすべて FC2 からはてなへ移転しました．
スポンサーサイト
未分類 :
コメント 2 :
トラックバック 1
このページのトップへ
ホーム
このページのトップへ
プロフィール
最近は Arch
2014/05/07 21:27:13 ヒビルテ
本日のツッコミ(全2件) [ツッコミを入れる]
ψ さかい [おお。知らなかったです。ありがとうございます！]
Tags: haskell machine-learning
Tags: haskell machine-learning optimization
Tags: haskell machine-learning optimization
さかい (05-07)
metaphusika (
2014/01/05 10:34:19 ホワット・ア・ワンダフル・ワールド
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。