はてなアンテナ
nobsunのアンテナ
id:nobsun

DVD

グループ一覧
2/8ページ

檜山正幸のキマイラ飼育記
●04/17 22:18
2025-04-17n角形の対角線とペースティング図雑記/備忘ペースティング図は、2-圏や二重圏内に描かれた図式〈diagram〉です。1-圏でも、射のあいだの等式を2-射とみなせば2-圏になります。そして、1-圏のペースティング図は可換図式なのです。圏論ではペースティング図(可換図式含む)を多用しますが、ペースティ…2025-04-16関手のテンソル積、米田拡張、位相実現〈幾何実現〉雑記/備忘「関手のテンソル積(コエンド) // あれれ」において、関手のテンソル積と類似した状況があちこちで出現するけど何でだろう? てなことを書いています。これはおそらく、米田拡張やコエンド公式〈coend formula〉が色々な場面で使われる、ってことでしょう…2025-04-15面白い二重圏達雑記/備忘 ハブ記事タイトルはダブルミーニングです。ひとつは「二重圏は面白いよなー」とい

Planet Haskell
●04/17 21:58
April 17, 2025Tweag I/OFrontend live-coding via ghciA few months ago, I announced that the GHC wasmbackend added support for Template Haskell and ghci. Initially, theghci feature only supported running code in nodejs and accessing thenodejs context, and I’ve been asked a few times when ghci was going to work inbrowsers in order to allow live-coding the frontend. Sure, why not? I promisedit

L’eclat des jours
●04/16 08:03
2025-04-12_ 1789明治座で1789。明治座は初めてで、帝国劇場の建て替えがなければおそらく一生縁がなかったと思う。完全に歌舞伎仕様なので左右席は舞台ではなく中央座席を向いているし、花道が作りやすいようにしているからだろうが座席はほとんど傾斜がない。が、列間は結構空いているし、背もたれは低いが別に舞台が見にくいわけでもなく、それほど悪い劇場ではなかった。ただ、2階がやたrと1階にせり出しているので音楽はくぐもってあまりよろしくは無さそうだ(ただし今回についてはミュージカルで、オーケストラは録音なので、全然気にならなかった)。全体としては1幕の前半はいまひとつで、全てを賭けるマリーアントワネットはなんか弱いし、パレロワイヤルではダントンが登場時はおお1789ワールドのダントン(決してブ男ではないむさくるしいおっさん)だと説得力ある登場なのだが歌がいまいち弱いうえに一瞬とちる

Gauche Devlog
●04/14 12:44
Exact and repeating decimals2025/04/13#permalinkExact and repeating decimalsNovice programmers are often perplexed by most programming languagesbeing not able to add 0.1 ten times ``correctly'':s = 0for i in range(10): s += 0.1print(s)# prints: 0.9999999999999999"Floating point numbers are inexact, that's why," tells a tutor."You should expect some errors."Gauche isn't an exception,

メモ
●04/14 08:28 新山さん
Apr. 2025Last Modified: Sun Apr 13 20:23:20 UTC 2025あ~~ 2025-04-14 [Mon] 05:08またもや (マタミャー)油断していたら2習慣もニッッキを書く週間が無かった由。これには理由 (といえばいえるもの) があるのだ。まず、寒かった (サムい日は夜中に起き出して PCなんぞいじってられない) ということ。それから仕事で妙に疲れていた (これまた夜中に起きれない)。あとは?そうそう「読みたい記事がたまっていた」というのもでかい。新山はだいたい「この記事は面白そうだな」と思うリンクをいくつか準備しているのだが、ひとつひとつの記事をちゃんと読んで要約を書く (そして Mastodon にポストする) というのは意外に時間がかかる。これだけで平気で1〜2時間は飛んでしまう。それから仕事関連のあらぬ調査などを

4.<前5 6.次5>

0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
ヘルプ/お知らせ

ログイン
無料ユーザー登録
はてなトップ

(c) Hatena