![]() ![]() |
![]() |
|
![]() |
||
![]() |
2025-03-13
モナドの靴を履いたスパンとファミリー、そして二重圏
雑記/備忘
集合圏のスパンの一般化として、スパンの足をモナド(比喩的に靴)で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…
モナドの靴を履いたスパンとファミリー、そして二重圏
2025-03-10 再びメルセンヌ数とジェルマン素数 1000京は20桁
p が素数で 2p + 1 も素数のとき、その p は Germain 素数と呼ばれる(例えば、素数 11 ―― 2 倍して 1 を足した 23 も素数だから)。今 p を「4k+3」型の素数とする。 (i) もし p が Germain 素数なら、 Mersenne 数 Mp = 2p − 1 は 2p + 1 で割り切
この広告は90日以上新しい記事の投稿がないブログに表示されております。
誰かがしていることを「差別」と呼んだり、自分のしている・していたことを「差別」と言ったりすることについて - Mar 07, 2025
ゲームセンターのプリクラコーナーではずいぶん昔から、女性客だけで楽しくやっている所に男性客が割り込んでナンパや迷惑行為をすることが問題となっていて、「プリクラコーナーは女性専用」「男性のみのグループは利用禁止」という感じの対応を取っている店舗が多いそう。自分も、友
みんなが寝静まっている時間に自転車を漕いで、ゆくぞ海へ
車がなくても東京で海に昇る朝日を見たい
年末あたりからふと「海で朝日を見たい」という根源的欲求がごく内側から湧き上がって離れなくなってしまった!昨年は突然「島を旅行したい」という衝動に天啓のように打たれていくつかの島を渡り歩いたのだが、今年はまたしても唐突に、空気の澄み渡った朝に水平線を…
ばらで飾る生活
自転車
改札の外の駅弁屋は売り切れ。
韓国出身の写真家・ヤンさん。韓国の若者がモデルの写真展
梁丞佑の写真展に行った話
体力の衰え、白髪の数、カルビを食べると腹を壊す、副鼻腔炎の発症頻度、風邪の治りにくさ、腰痛、夜起きていられないなどなど考えれば考えるほど20代の頃の自分にはなかった変化があって落ち込むこともあるけれど、逆に20代の頃はあまりなかったけれど、30代で…
hang ngay
美術鑑賞
スーパーで桜のあんころもちを見付けて
これからは「昔ちょっとだけあった機械」になるのかな
ありがとう 電子辞書
カシオ 電子辞書の新規開発を終了【知っておきたい!】【グッド!モーニング】(2025年2月17日) というニュースを見て、ちょっと切ない気持ちになりました。もうたぶん今10歳ぐらいの人にとっては、特別見ようとでもしなければ人生で見ることもない、……なんでそんなアイ…
タイドプールにとり残されて
“作っている最中は咳込むくらい
この広告は、90日以上更新していないブログに表示しています。
2025年1月1日
結城浩ニュースレター
2025年1月1日 00:00
結城浩ニュースレター | 2025年01月21日
2024年12月1日
結城浩ニュースレター
2024年12月1日 00:00
結城浩ニュースレター | 2024年12月15日
2024年11月1日
結城浩ニュースレター
2024年11月1日 00:00
結城浩ニュースレター | 2024年11月16日
2025 [ 01
2025-01-25
生成AI時代のミニゲームの作り方 - アイデアとコードと絵と音を生成する
そうなると人間のやることは何になるかというと……微調整?
迫りくる赤い電子を避けて進もう。電子の間の黄色線を通って得点アップ https://t.co/VDjGACbzZi pic.twitter.com/u7STpP3cJu
— ABA (@abagames) 2025年1月25日
このゲームをCla
色々書くとこ(仮)
読者になる
logs @ nanagaiku.com
読者になる
cresの日記
読者になる
今日は長閑にtamago_girai
読者になる
プログラミング日記
読者になる
おばけ日記
読者になる
ZOOM PLAYER 18 MAX 1ライセンス
最強メディアプレーヤー! ブルーレイ・動画・音楽・画像、どんなメディアも高画質で高速再生!
タブブラウザ開発日記
読者になる
趣味的にっき
読者になる
Giraffe+の開発についてのブログ
読者になる
eamatの日記
読者になる
naoyaのはてなダイアリー
読者になる
lethevert is a programmer
読者になる
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
hyuki 2019-01-06 23:42 読者になる
▼ ▶
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 /
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
404
お探しのページは見つかりませんでした。
はてなブログ トップ
はてなブログ ヘルプ
読者になる
© Yahoo Japan
Powered by MagSite2 Version 0.36 (Alpha-Test) Copyright (c) 2004-2021 Pie Dey.Co.,Ltd.
はてなブログ アカデミー
法人プラン
はてなブログ アカデミー
法人プラン
2019年 06月
2016年 08月 07月 05月
2014年 04月 03月 02月 01月
2013年 12月 11月 10月 09月
2012年 08月 07月 06月 02月 01月
2011年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2010年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02
2006/11/04
こんばんは、信次です。
徳永英明 の Vocalist と Vocalist2 を入手しました。もうね、すごいね。なんか「来る」よね。
フォームレス 風の谷の名無しかさん
気付いてくれました? よかった。なんか僕のいう冗談は冗談として捉えられない事が多いので、本気で言ってると思われたらどうしようとガクブルしてました。
Runtime Detector
インストールされている主
Error. Page cannot be displayed. Please contact your service provider for more details. (28)
You don’t have permission to access this resource.
© 1999-2020 Piro:outsider reflex, some rights reserved.
初めは…防衛省技官の“転落”
留学生の母「日本の法律に絶望」
米軍ミリメシ食べ自衛隊員悶絶
相葉が半同棲、両親にも紹介済み
トイレの個室から爆発音と火柱
驚き“開店セール”状態の元SMAP
今年炎上・騒動起こした女性たち
貴乃花の発言めぐり緊迫の激突
太川不倫把握か、責められぬ事情
堀北の「激変ママ姿」に嘆く声も
緊急脱出 指示従わぬ大勢の客が
世界の「注目FinTechスタートアップ」9選 …
Forbidden
You don’t have permission to access /~tokky/on this server.
Additionally, a 403 Forbidden error was encountered while trying to use an ErrorDocument to handle the request.
J:COM NET加入者向けホームページサービス
終了のお知らせ
ホームページサービス
終了のお知らせ
J:COM NET加入者向けホームページサービス(WebSpace)は、2017年1月31日(火)で終了致しました。
2016-09-10
16:01:32 - diary/2007-09-02/LDRize Minibuffer 2007.09.02 の変更点に関して
©2008 NIFTY Corporation
06/08 22:49 ニュースコメ 福島第1原発:子供の心身に.. これ放射線じゃなくてプラシーボだよな
06/08 22:35 新規ニュース 福島第1原発:子供の心身に.. 福島県内では、学校や家庭で放射線を避ける生活を続け..
06/08 22:21 ニュースコメ 「小沢待望論」再燃 ゲンダイは親小沢すぎるw http://blogimg.goo.ne.jp/user..
06/08 22:
2010.05.31
[ゴーログ] しばらく休止させていただきます
皆さん、こんにちは。木村剛です。私事になりますが、この度、私が会長を務めていた日本振興銀行が金融庁より業務停止命令を受けました。取引先・預金者・株主の方々に多大なご迷惑をお掛けし、大変申し訳なく思っております。
続きを読む... ”[ゴーログ] しばらく休止させていただきます”
[ゴーログ] しばらく休止させていただきます
更新停止/新名義へ移行します
当サイトに関する告知[7]
2010年04月[1]
更新停止/新名義へ移行します
Notice > 当サイトに関する告知
2001年から「tokix」名義での活動を行ってきましたが、リアルでの生活が変わったことに伴い、「tokix」名義での活動を一度停止させて頂きたいと思っています。今後「tokix」名義を再び使うことがあるかは、現時
オンラインソフトがメインコンテンツ。たぶん。
<前の3日分
2008-12-27 wow
test
2006-03-04
■[Software]いろいろ
fenrir_Ver.0.54
migemo対応すげー。ブックマークの管理にfenrirを使ってて、日本語がタイトルのサイトを登録する度に「ほげほげ_hogehoge.url」なんてやってたりしましたがその必要も無くなった。こりゃ、いいや。
Gone
The requested resource
/~aki/diary/
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
2008/08/05
diary/2008/08/04
Gone
The requested resource
/weblog/
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
2007/04
ねこめしにっき(2007年1月)
2007年5月20日
「ぴんくいんでんと」 : ぴんくすとらいぷ的萌える CSS 書式 (2007/05/20 - 07:00)
Genre : CSS
一度くらいはこの日記かサイト中のどこかで言及してたような気がしていたけど、実はしていなかったらしい話。
「ピンクインデント」@水無月ばけらのえび日記
用語「ピンクインデント」@鳩丸ぐろっさり (用
株式会社ぷららネットワークス
ファイルが見つかりません。
Not Found
Copyright(C)2000 Plala Networks Inc. All rights reserved.
未来の新聞社サイトの(誇大?)妄想・・ 2004/09/02(木)
なんつータイトル・・いや単に最近始まったGoogleニュース日本を見ていたら、ちょっと妄想してみたい衝動に駆られただけです。カテゴリ通り、ウェブの話です。
ソフトウェア紹介
bbox
Loop and Loop
HAMASHOU HOMEPAGE
ソフトウェア更新情報
onlinesofts.com
PC関連
パソコン遊戯
Crohn Life