![]() ![]() |
![]() |
|
![]() |
||
![]() |
WordPress.com で無料サイトやブログを作成.
2024-07-26
曖昧さを減少させるために、式にフォーマット指定
雑記/備忘
ひとつ前の記事「Propositions-As-Typesを曲解しないで理解するために」の最初の節や最後の節で、同義語・曖昧多義語を話題にしました。曖昧さは色々な形で現れます。なにごとかを正確に理解するには、曖昧さを処理していくことが必要です。まー、曖昧に書く…
2024-07-25
Propositions-As-
プレスリリース (英文) 配信:
There is mathematical proof in the pudding
Kyoto University discovers a formula to express the blockchain trilemma (EurekAlert!, 京都大学)
プレスリリース (和文) は 7/4(木) に出てた
(日記7/4分)。
英文が出るまでは紆余曲
2024-07-24
_ 遺灰は語る
タビアーニ弟の『遺灰は語る』がWOWWOWで7/31まで観れるから観ようと妻が言うので観た。
すごくおもしろくて(ちょっと舐めていたので映画館にも行かなかった)衝撃を受けた。
それまでも佳作を作りまくっていた作家が、唐突にキャッチーな作品で大人気を獲得し、しかしそれは大して続かず元の佳作家に戻るというのがある。たとえば侯孝賢が往年童時や風櫃の少年といった凄い作
2024-07-25
お好み焼き
A post shared by kmuto (@mutokenshi)
kmuto 2024-07-25 20:07 読者になる
広告を非表示にする
もっと読む
コメントを書く
2024-07-24
チーズハンバーグ
A post shared by kmuto (@mutokenshi)
kmuto 2024-07-24 21:08 読者になる
広告を非表示に
2024-07-25
_ [雑談]
トイレの掃除をしていて、ふと小学生のころに通っていた塾にいた、僕よりもずっと頭のいい人たち、いまどうしているだろうなあと思った。僕はあの塾の中で真ん中ぐらいだったが、あのときは世の中にはびっくりするほど頭のいいやつらがいるんだと驚いて、すっかり勉強する気がなくなった(笑)
僕は子無しのおじさんなのだが子供二人くらい育てられる経済力はあるような気がする。しかし子無
2024年7月の Google Home/Nest の不具合
2024 / 7
shiro on Running prebuilt Gauche on GitHub workflow (2024/07/19)
Comments (2)
2024-07-14
山口でのエギング振り返り
今週末、春のアオリイカの3杯目を釣ったら、なぜ釣れるようになったか、振り返りをやります。
— 山本和彦 (@kazu_yamamoto) 2024年7月4日
「分かってしまうと、なぜ分からなかったのか分からなくなる」
と言うわけで、いつもは技術的なことしか書かないけれど、今回は「なぜ以前はアオリイカが釣れなかったのか」を忘れない内に書き留めておく。
July 02, 2024 05:04 AM
RubyでSlackのボットを書く方法(なるべく自力で)
2024 / 6
Apple ID や X (Twitter) アカウントと連携したはてなログインをより便利にしました
2024 / 6
May. 2024
Last Modified: Sun May 19 19:09:54 UTC 2024
title 2024-05-20 [Mon] 04:09
油断していたらまたいつの間にかもう5月も下旬という時期。
むんすか。
だいたいやねー… (略)
Document ID: 6113a7f217f4db39cd0039b1f7fd849c92dab96d
Gauche 0.9.15
camlspotter’s blog
読者になる
HaHaHa!
読者になる
2nd life (移転しました)
読者になる
日記移転予定地
読者になる
yuumi3のお仕事日記
読者になる
西尾泰和のはてなダイアリー
読者になる
タイプするサル
読者になる
sumiiのブログ
読者になる
hyuki 2019-01-06 23:42 読者になる
essa 2021-01-14 21:37 読者になる
essa 2020-05-31 19:02 読者になる
essa 2020-04-12 17:54 読者になる
essa 2020-04-11 17:55 読者になる
essa 2020-03-07 01:35 読者になる
essa 2020-03-07 01:33 読者になる
essa 2020-02-23 16:29 読者になる
Copyright (C) 2024 るびきち「日刊Emacs」は移転しました All Rights Reserved.
2024年
1月
2月
3月
4月
5月
6月
7月
8月
9月
10月
11月
12月
LaTeX におけるページをまたいだ囲み記事スタイルのまとめ
追記(2014年11月7日) いまなら、囲み記事を書きたい場合には tcolorbox パッケージを使うのがよさそうです。 さらに脚注問題については footnoteパッケージというのが 1997 年からありました orz 方法は違うけど、以下の記事でやっている「段落ボックス...
ただただし t@tdtds.jp プログラマ、Webアクセス解析士を経て、現在はセキュリティエンジニア兼エンジニアリングマネージャ。
学生時代からフリーソフトウェア開発に関わりはじめ、かれこれ30年。RubyではWebアプリケーションを中心に開発。tDiaryプロジェクト創始者。
妻1人、猫2匹。
2022-11-28
RubyのLSP実装の簡易比較
2022-05-14
細い横線をImageMagickで検出する……のに失敗した
その後, 国立天文台暦計算室のページを見付けた.
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモ
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
Privacy Policy 2021 著作権. 不許複製プライバシーポリシー
小学生の一歩先を行く大人の『ポケモンユナイト』
ちょもすです。 note note.com 書きました。 おじさんまだそこ? Nintendo Switch版『ポケモンユナイト』の事前ダウンロードがスタート〓明日に迫った試合開始に備えようhttps://t.co/scH5ixoT8f#ポケモンユナイト pic.twitter.com/hYBFNtyVUE 〓 ポケモンユナイト公式 (…
chomo
金融資産1000万円という最初のゴールをいかに早く達成するかが重要
神経内科医ちゅり男のブログ
2020-09-10 06:55:01
家族で古墳Tシャツ
マイル日記
2020-09-10 16:11:59
蟹の半身みたいなWi-Fiルーター ASUS RT-AX3000に買い替えたら自宅Wi-Fiが高速化され…
I AM A DOG
2020-09-10 10:00:13
Leica Qファース
Copyright (c) 2008-2019 Hisashi Morita (森田尚)
「ツイてる!ポッドキャスト新春2019」 4日目 平成の記憶に残る3大イベント
2019年1月 4日 09:40 daiya | 個別ページ
最終日は、4人のブロガーの記憶に残る平成の3重大イベントを紹介しました。
いしたにまさき
1. 9.11同時多発テロ
2. 地下鉄サリン事件
3. ライブドアショック
橋本大也
1. 9.11同時多発テロ
2. Wi
いちばんあたらしいの2018 12/31 22:30
_31(Mon)
なんと今年は1件も日記を書かなかった。
ので、最後くらい。今年の重大ニュース。
無事娘2歳に。
家を買った。
Ruby 2.6 が無事にリリースした。
来年は忙しくなりそう。今まで以上にプログラミングしたい。
そういえば、いい加減日記システムなんとかせなな。
2018 01 02 03 04 05 06 07 08 09 10
ソフトウェア開発を工学にする形式手法の紹介
IDEA*PAD、weemo*、ACTION*PADサービス終了のお知らせ