|
|
|
|
|
||
|
||
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく（それぞれの定理について、最もエレガントな証明法を集めた天界の書物）。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則
2024-11-13
複圏〈オペラッド〉とプレ準同型射の圏
雑記／備忘
「論理や型理論の圏論的意味論 // 導出システムの圏と圏の圏」において、導出システム達を対象とする圏に触れました。しかし、導出システムのあいだの準同型射（それが圏の射となる）を素朴に考えていては、どうもうまくないようです。導出システムは、複圏…
複圏〈オペラッド〉とプレ準同型射の圏
2024-11-05
私の心を揺さぶったプログラミング言語
'Programming Languages That Blew My Mind'というブログ記事で、8歳からプログラマーとして活動しているDavid Tellerさんが、人生で出会った革新的なプログラミング言語について紹介している。
BASIC
A language designed to make programming simple
（追記）
AHKをこの設定で常駐させている場合にちょっと問題が起きた。
テンキーのないPCでPersecから繋いだあとにショートカットキーから切断すると、Numlockが無効になりキーを押しても有効に戻せなくなってしまう。
素人考えだが、Persecはクライアントのテンキーのないキーボードで問題を起こさないようNumlockキーを一度無効にし、切断時にまた有効に戻すのではないだろうか。その際にAH
「この一週間でわたしは妖怪ピーナツバター舐めになった」
ピーナツバターのこと
前にも書いていると思うので重複申し訳ないのですが、みなさんがピーナツバターに目覚めたのはいつですか。わたしは21歳くらいのとき。きっかけは、アメリカのタイ料理店のメニューにあった「ほうれん草のピーナツソースがけ」。半生のほうれん草に茶色の甘くてしょっ…
いろいろなことがある
ももクロ「走れ！」も聴けて感無量。くるりは信頼
人生を見つけるためには、人生を浪費しなければならない。
コスパやタイパは禁句にしたい
いわゆる自己啓発本と呼ばれる書籍や、ビジネス系のWebメディアなどを読んでいて、仕事選びとかキャリア形成に関する話題になるとよく引用されている理論があります。心理学者のジョン・クランボルツ氏が1999年に発表した「計画的偶発性理論」です。その理論をやや乱暴…
インタプリタかなくぎ流
はてなブログPro
ことば
台
"まんまと創作の楽しさに気が付いて少し照れ臭かった"
COMITIA149後記
もう二週間ほど前ですが、コミティア149終わりました。買っていただいた方、改めてありがとうございます。 ブログの読者の方や、Twitterのフォロワーの方への郵送分も一旦全部送り終わりまして…。不慣れでいろいろご迷惑をおかけした部分もあったかと思いますが、受け…
週刊モモ
地元も東京も好き。"半年ごとに二拠点で暮らした
色々書くとこ(仮)
読者になる
logs @ nanagaiku.com
読者になる
cresの日記
読者になる
今日は長閑にtamago_girai
読者になる
プログラミング日記
読者になる
おばけ日記
読者になる
ZOOM PLAYER 18 MAX 1ライセンス
最強メディアプレーヤー! ブルーレイ・動画・音楽・画像、どんなメディアも高画質で高速再生!
タブブラウザ開発日記
読者になる
趣味的にっき
読者になる
Giraffe+の開発についてのブログ
読者になる
Look back on the history of Tree Style Tab until the performance improvement at version 4.0 - Mar 26, 2024
（日本語版はこちら）
I recently released version 4.0 of Tree Style Tab (TST) add-on, which provides ver
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 読者になる
2023年9月6日
結城浩ニュースレター
2023年9月6日 00:00
結城浩ニュースレター（2023年09月06日）
▼ ▶
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.
posted by リンクしてる人 at 10:37 | Comment(0)| 画像関連（全般）
MSNMessengerなサイト by リンクしてる人 (09/19)
初めは…防衛省技官の“転落”
留学生の母「日本の法律に絶望」
米軍ミリメシ食べ自衛隊員悶絶
相葉が半同棲、両親にも紹介済み
トイレの個室から爆発音と火柱
驚き“開店セール”状態の元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