practicalschemeのアンテナ

2026/02/07 03:21:00 MachWerx
15 comments on Wherefore blog?
2026/02/06 14:14:16 * log *
last update : 2026.February.05
2026.Feb.05 Thu いつも通りに起床。
今日も出社。通勤時間が長いので、車中で聴くポッドキャストの番組を追加した（笑）。
バージョンコンフリクトはとりあえず解決した。別件のタスクのコード修正・テストも終え、さらに別タスクの調査。
今日は少し進展が多かったので、気が楽になった（笑）。
夜、読書。
朝。
『米連邦機関が
2026/02/05 07:23:06 ときどきの雑記帖リターンズ
The Third Wave
動物言語学最近はNHKラジオをつけっぱなしで寝ているのだけど、夜更けにちょっと目が覚めたときに流れていた番組で知った動物言語学分野鈴木研究室
2026/02/03 03:58:53 内田樹の研究室
組合とコモン
「組合」という語は、その語義が熟知された、いささか「時代遅れ」の用語のように思われている。でも、ほんとうにそうなのだろ...
2026-02-02 lundi
日本にとって「最悪の事態」
日中関係の緊張が高まっている。この原稿を書いているのは２０１５年の１２月下旬だが、本が出る頃には時局はまた変わっている...
2026-02-02 lundi
2026/01/31 23:03:38 時の羅針盤
2026-01-28
Composable continuation (1)
After 2 weeks of fighting, I've finished implementing composable
continuation. This is my memo of how I understand composable
continuation and what I've done to
2026/01/24 01:14:03 檜山正幸のキマイラ飼育記
2026-01-22
型コスモロジー：型宇宙、型銀河、ユグドラシル
雑記／備忘
最近の証明支援系／プログラミング言語では、通常の型システムの上位に宇宙システム（ソートシステムともいう）を備えたものがあります。2023年の記事「最近の型理論：宇宙と世界、そして銀河」の冒頭を引用すると： Lean（最新版はLean 4）は強力な型シス…
型コスモロジー：型宇宙、型銀河、ユグドラシル
2026/01/22 10:20:33 Island Life
水冷、使ってみたかったんだけど、しゃーない。手持ちのファンをつけよう、と思ったら、14700Kって電力食うんだな。ベース130W、ピーク時253Wに対応できるファンがない。調べるとこのランクだとでかいのばかりでケースに収まるかも心配だ。スペック睨んでThermalrightのPeerless Assasin 120SEを新たに注文。
2026/01/22 05:48:19 sicp - 結城浩のSICP日記
利用者情報の外部送信先を追加しました
はてなの日記 (655)
はてなロゴ日記 (32)
利用者情報の外部送信先 (5)
2026/01/13 23:21:13 Gauche Devlog
Things has changed in the last decade or so.
2026/01/12 13:40:40 tabesugi.net
Jan. 2026
Akeometastic!
Last Modified: Sun Jan 11 22:40:45 UTC 2026
ソフトウェア設計の過程 2026-01-12 [Mon] 06:49
これはソフトウェアに限ったことではないかもしれないが、
ソフトウェアの設計というものは、何百・何千という (隠れた) 決定の積み重ねである。
ここでは、その決定を逐一、解説していくことで、プログ
2026/01/10 17:09:36 Gaucheクックブック
編み機を使って作成。大変だったけどすっごくお気に入り！
激烈かわいいマフラーできたもんね～～～！
じゃーん！いいでしょ 2025年はなんだかんだで他に楽しいことばかりしていて、セーターを2枚編んで以来編み機はご無沙汰気味だったのですが、寒くなってくると毛糸のあたたかみに触れたくなるというもの。というわけで、↑のマフラーを編んだという次第です。これが………
編み物知識ゼロから編み機（brothe
2026/01/06 07:42:12 YAMDAS現更新履歴
「Creative Commonsの「ペイ・トゥ・クロール（Pay-to-Crawl）」に関する立場」を翻訳した
イーロン・マスクが2025年に実現すると約束した（が実現しなかった）こと一覧
ジョイ・ブオラムウィニ『AIの仮面を剥いでやる　AIに潜む差別・偏見との闘い』が来月出る
2025年下半期にNetflixで観た映画の感想まとめ
2025/12/20 06:03:44 ただのにっき
トップ «前3日分追記
2023-07
2023-06
2023-05
2023-04
2023-03
2023-02
2023-01
2022-12
2022-11
2022-10
2022-09
2022-08
2022-07
2022-06
2022-05
2022-04
2022-03
2022-02
2022-01
2021-12
2021-11
2021-10
2021-09
202
2025/12/19 06:55:15 frank episale
New Year 2026
2025/11/21 22:57:06 Planet Scheme
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 2
2025/11/13 09:01:16 黎明日記
お知らせ【gooブログからの移行がまだの方へ】画像データ移行を確実にするために10月末日までにインポート手続きをお願いします
東銀座のカフェ&バーは24時まで営業。スコーンはさくほろ系
仕事帰りにクリームティーできるお店まとめ
1日の終わりにケーキ感覚でスコーンが食べたいのに、ティータイム以降も提供してるお店ってなかなか見つからない。実際に訪問したことがあり、17時以降にクリームティーが食べられ
2025/11/09 21:02:57 Radium Software Development
We’re getting things ready
Loading your experience… This won’t take long.
2025/11/09 19:28:13 lucille 開発日記
We’re getting things ready
Loading your experience… This won’t take long.
2025/11/09 16:07:17 jijixi’s diary
We’re getting things ready
Loading your experience… This won’t take long.
2025/10/30 10:52:59 Life is beautiful
0
Home
Renewal Center
My Profile
Accounts & Users
My Payment Methods
Order History
Marketplace
Buy More Products
Log Out
RENEW SERVICES
Domains
Domains
Domain Name Search
AI Domain Generator
Domain Tr
2025/10/20 09:12:13 金子あい日記
登録: コメント (Atom)
2025/10/19 21:36:12 Scott’s Acting Tips
Subscribe to: Comments (Atom)
2025/10/13 18:51:09 Wieder auf!　～ピアノとともに～
×
この広告は90日以上新しい記事の投稿がないブログに表示されております。
2025/03/06 21:26:11 或る日、かくれ家より
この広告は90日以上新しい記事の投稿がないブログに表示されております。
2024/11/26 04:59:39 兼雑記
この広告は、90日以上更新していないブログに表示しています。
2024/07/02 20:19:10 Wagnervision | Blog
The Big Bend in theatrical release!
It’s been an amazing couple of months for THE BIG BEND’s theatrical release. We opened to acclaim in cities from New York to LA to Austin, TX. We were the highest-g
2024/04/06 20:41:02 大西科学　研究内容
868．すごいぞ柔道二五〇段
二段式には負けるらしいですよ。24.4.6
2024/03/28 13:42:27 [・ _ゝ・]日記を書くはやみずさん
[・ _ゝ・]日記を書くはやみずさん
読者になる
2024/03/28 07:39:03 丼日記
丼日記
読者になる
2024/03/28 04:00:38 日記を書く[・ _ゝ・]はやみずさん
日記を書く [・w・] はやみずさん
読者になる
2024/03/28 01:52:40 Squeaker大島芳樹のカリフォルニア日記
squeakerのブログ
読者になる
2024/03/27 15:13:34 lethevert is a programmer
lethevert is a programmer
読者になる
2024/03/27 14:56:27 ヒビノキロク
ヒビノキロク
読者になる
2024/03/27 10:54:11 はてなダイアリー - ogijunの日記
はてダ保管所 by ogijun
読者になる
2024/03/25 22:53:02 odz buffer
odz buffer
読者になる
2024/03/25 16:50:17 As An Engineer, Like A Programmer...(Written By Y.Sawa)
飲み物だから太らない
読者になる
2024/03/25 15:01:29 あけてくれ - おれカネゴンの「算数できんのやっぱり気にしすぎとや」日記
あけてくれ -- おれカネゴンの『算数できんのやっぱり気にしすぎとや』日記
読者になる
2024/03/25 12:03:01 flatlineの日記
flatlineの日記
読者になる
2024/01/25 20:11:16 My Life Between Silicon Valley and Japan
umedamochio 2011-03-19 00:00 Subscribe
umedamochio 2011-03-07 00:00 Subscribe
umedamochio 2011-02-18 00:00 Subscribe
umedamochio 2011-01-23 00:00 Subscribe
umedamochio 2010-12-04 00:00 Subscribe
umeda
2023/11/23 02:25:26 ジャズベース日記＠サンフランシスコ
動画一覧
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 /
2023/01/09 10:10:57 enbug diary
Powered by Ruby version 2.0.0-p648
2022/12/26 10:59:08 ツレヅレ - livedoor Blog（ブログ）
December 2022
2022/08/08 15:39:28 ひげぽん OSとか作っちゃうかMona-
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門　データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
2022/01/19 16:00:14 お笑いパソコン日誌
HOME
LOG
Wiki
QX UG
BAD's
GEM's
HOME
annex1
TORON
SBM
BAD's
SITE's
HOME
annex2
BeChic
REVIEW
BAD's
BBS
お笑いパソコン日誌
Take You To The Pilot
Text by Terry Minamino
Music by IKO-IKO
不動産情報
2007/12/9 PM 1:05
＠
2021/12/04 01:28:45 YAMAGATA Hiroo: The Official J-Page
「アルク/マガジンアルク」連載」(2006-2017) を全部 html化。(2021/12/03)
2021/11/21 20:58:06 d.y.d.
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
2021/10/01 17:14:50 404 Blog Not Found
5...
次のページ
>>|
2017年07月20日09:00
カテゴリ
VALU
〓〓〓〓〓〓0
dankogai
コメント( 1 )
2017年03月19日16:30
カテゴリ
evalpark
Open Source
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2017年03月17日10:30
カテゴリ
evalpark
Open Source
2021/09/22 12:04:38 はてなダイアリー - soutaroメモ
Copy iframe embed code
Copy iframe embed code
2021/07/13 09:12:54 ベイエリア在住町山智浩アメリカ日記
読者になる
2021/04/05 15:28:00 inside out
hirax.net::inside out
最新記事(inside out)へ | 年と月を指定して記事を読む（クリック!）
2000/ 01月- 02月- 03月- 04月- 05月- 06月- 07月- 08月- 09月- 10月- 11月- 12月- 2001/ 01月- 02月- 03月- 04月- 05月- 06月- 07月- 08月- 09月- 10月- 11月- 12月- 2002/
2021/03/31 09:01:50 シリコンバレー起業マニュアル
Forbidden
https://noriyukiokada.hatenadiary.org/ は非公開に設定されています。
はてなブログとは
はてなブログアカデミー
法人プラン
アプリ
テーマストア
旬のトピック
グループ
著名人ブログ
今週のお題
機能変更・お知らせ・ヘルプ
はてなブログ開発ブログ
週刊はてなブログ
ヘルプ
障害情報
FAQ / お問い合わせ窓口
利用規約
プライバシーポ
2021/02/01 19:32:56 今日のノート
FAQ / お問い合わせ窓口
2020/10/13 15:11:12 ARTIFACT ―人工事実―
403
Forbidden
アクセスしようとしたページは表示できませんでした。
このエラーは、表示するページへのアクセス許可がなかったことを意味します。
以下のような原因が考えられます。
アクセスが許可されていない（パーミッション等によって禁止されている）。
デフォルトドキュメント（index.html, index.htm 等）が存在しない。
2020/08/27 12:01:02 Matzにっき
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード
2019/12/18 13:28:37 U-memo
2009|08|10|
2019/11/25 09:49:03 [む]どーんとやってみよう
だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〇Ĺc
2019/07/08 20:40:54 !kiyoka.blog / kiyoka日記。OldType、Sumibi.org、日々の出来事など。
リモート接続して〓￥キーを押しても、Windowsでバックスラッシュが入力できない。バー'|'は入力できる。
￥キーを押す度に、rdesktopがワーニングメッセージを出す。
2019/01/05 17:17:32 未来のいつか/hyoshiokの日記
できる研究者の論文生産術どうすれば「たくさん」書けるのか (KS科学一般書)
￥ 1,944
Permalink | コメント(1) | トラックバック(0)
the four GAFA 四騎士が創り変えた世界
￥ 1,944
マタギ(ヤマケイ文庫)、矢口高雄著、読了、-誰が音楽をタダにした?──巨大産業をぶっ
2019/01/01 01:42:31 DA
いちばんあたらしいの2018 12/31 22:30
_31(Mon)
なんと今年は1件も日記を書かなかった。
ので、最後くらい。今年の重大ニュース。
無事娘2歳に。
家を買った。
Ruby 2.6 が無事にリリースした。
来年は忙しくなりそう。今まで以上にプログラミングしたい。
そういえば、いい加減日記システムなんとかせなな。
2018 01 02 03 04 05 06 07 08 09 10
2018/12/26 12:39:20 g新部 code日誌
2018/12/26 12:36:24 脇田建
2018/12/05 07:23:25 こめんと
■ [Misc] 新ブログ + ホームページ更新
研究者にとって、論文と予算申請書とホームページは同じくらい重要、とか謎のことを言ってみたりしつつ。
新研究センターに所属が代わり、所属チームの公式ページの整備を議論していたところ、なんだか個人ページの見た目が古い、ととある人に言われてしまったので、コンテンツを更新してみました。職場の公式ページと、個人ページを両方更新しました。
ついでに、このブログ
2018/05/04 12:25:24 最上の日々
404 Not Found：ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について｜個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp
2018/03/20 10:38:51 今日のなんでやねん
- 名無しのリーク (02-15)
2018/01/05 02:04:49 中里一日記
〓
Sun Mon Tue Wed Thu Fri Sat
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
2017/10/06 11:20:18 Founders at Work - Blog
4/13/2011
1/26/2011
1/26/2011
2016/09/29 04:52:19 楽譜の風景～ピアノ演奏の科学的アプローチ＆面白楽譜達
ページ移転のお知らせ
ご指定のホームページは下記のアドレスに移動しました。
ブックマークなどの登録変更をお願いします。
※10秒後に自動的に移転先のページにジャンプします。
2016/01/29 12:23:34 Chika Watanabe/渡辺千賀：テクノロジー・ベンチャー・シリコンバレーの暮らし
英語の４文字言葉はどれくらい悪い言葉なのかへのぴんた
国や組織はどういう時に良くなるかへの T
虫歯を取るかアトピーを取るか、そこが運命の分かれ道への Miho
スタートアップからのシリコンバレー進出３：（涙の）就労ビザの… への【KAORU #2】え、起業したいならシ…
シリコンバレーがバブルかもしれない４９の理由へのわんにゃん
2014/12/03 05:23:35 最尤日記
数理科学12月号
数理科学2014年12月号「場と力の物理イメージ」を読んだ。
特集ではなく、連載「フィールズ賞で語る現代数学」第三回「群と対称」が面白かった。例の有限群の完全分類はパワフルな学者がごり押しで解決したみたいなイメージを持っていたけど、結構紆余曲折があったんだなとか。それに群論というのは古典的に完成されているというイメージだったけど、頂点代数とモンスター群のような新しい話題が出る余地
2014/01/05 10:34:19 等価変換な日々
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
2013/07/24 07:54:55 Kaveh Kardan’s Photography Blog - Home
Thank you for visiting. If you need assistance, please email help@posterous.com.
2013/04/16 12:31:23 天泣記
Error. Page cannot be displayed. Please contact your service provider for more details. (8)
2013/02/21 07:29:03 Syntax Error
Read-only file system - /www/htdocs/lab2/public_html/hanatani/tdiary/data/2007/200703.td2 (Errno::EROFS)/www/htdocs/lab2/public_html/hanatani/tdiary/tdiary/defaultio.rb:127:in `initialize’/www/htdocs/
2013/01/18 10:04:57 Tech Mom from Silicon Valley
2013-01-17 ブログ引っ越し先が開店しました
ブログ引っ越し先が開店しました。下記のリンクです。まだバグとり中ですので、しばらくいろいろヘンなことがあると思いますが、ご辛抱くださいませ。
新ブログ | Enotech Consulting - Management Consulting Firm Specialized in Business Development in Mobile,
2012/11/14 09:31:01 メッセージ。 - diary
2012-11-14
# にゃー
実装フェーズが佳境に入ってから、プロトコル仕様書レベルのバグが見つかった OMG！この仕様書についてはけっこう不安視して検証はしてたのだが、有効な手を打てていなかった。うがが。
実際には、検証としてスクリプト言語でのプロトタイピングを行っていたのだけど、エミュレートしていた対向システムの入出力レベルより、もっと細かいレベルで不具合が出てしまった（プロトコルマトリッ
2011/12/17 18:48:55 hard で loxse な日々
2011/12/17 Sat
白髪も増えて老けこみましたが、なんとか生きてます。
ココでは NexusOne の Wifi 運用から 3G デビューしたあたりで最後の記事だったわけですが。
その後、リークの Froyo を経て、cyanogenmod6、7 と移行。
b-mobile U300 も、今では 1G定額で運用。
ヨメはん用に NexusS(CM7)も買い足しましたし、xoom も発売さ
2011/02/11 21:19:17 diary.yuco.net
Related Searches
転職
求人
投資
キャッシング
金融
ローン
クレジットカード
不動産
弁護士
興信所
自動車
自動車保険
中古車
リフォーム
医療
医療保険
健康
2010/09/26 15:26:29 Bill Clementson’s Blog
September 2010
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30
Blog Posts
Saturday, September 25, 2010
It’s been exactly a year since my last post and I get the occasi
2009/02/14 07:01:07 LispUser.net
2009/02/07 Re: あなたの言語で、これできますか？ (Qi 編)
2008/10/04 16:20:14 void GraphicWizardsLair( void ); //
2008年10月04日(土)[長年日記]
[www][anime] 日本弁理士会の「パテント」2008年8月号に「（論考）アニメの著作権」という記事が載ってたのだが、PDFで公開されてる
「パテント」2008年8月号目次｜日本弁理士会_から。