|
|
|
|
|
||
|
||
2025-06-20
鶏ととナスのピラフ
この投稿をInstagramで見る
kmuto 2025-06-20 20:52 読者になる
広告を非表示にする
もっと読む
コメントを書く
2025-06-19
ゴーヤチャンプル
この投稿をInstagramで見る
kmuto 2025-06-19 21:14 読者になる
広告を非表示にする
もっと読む
コメントを書く
鶏ととナスのピラフ
ゴーヤチャンプ
June 20, 2025
Well-Typed.Com
GHC activities report: March–May 2025
This is the twenty-seventh edition of our GHC activities report, which describes
the work Well-Typed are doing on GHC, Cabal, HLS a
2025/6/20 (金)
チキンカツ (日記2020年1/26分), レトルト カレー (日記6/7分),
小魚。
よこすか海軍カレー。
おやつ。
ルヴァン
黒糖ロール 永楽屋 ルヴァン
黒糖ロール
ミーティング (日記6/13分)。 4時間弱。
研究発表
事務連絡 40分くらい。
進捗報告 1時間 45分くらい。
研究発表 1時間 15分くらい。
6/17(火)、みやもとさんから研究室向けに頂
114,071 hits
WordPress.com Blog.
この広告は、90日以上更新していないブログに表示しています。
2025-06-16
_ [雑談]
夏に備えて、っていうかもう猛暑だけど、エアコンの内部洗浄をしてカビを完全に洗い落す、これでエアコンを気持ちよく使えるようになる。
[ツッコミを入れる]
リンク：科研費基金化および繰越可能化の経緯
メモ：WSLgにおけるキーボードレイアウト設定
2025-06-13
選択的ファイブレーション部分圏
雑記／備忘
圏の恒等射だけで部分圏ができます。が、この部分圏はファイブレーションクラスにはなりません。包含的圏（「色々な包含的圏」参照）の包含射達は部分圏を形成しますが、これもファイブレーションクラスにはなりません。圏のファイブレーションクラスの定義…
選択的ファイブレーション部分圏
2025-06-07
HaskellによるQPACKの実装
Haskell QUIC
いやいや、難産だったよ。
2020年から2021年にかけて、HaskellでHTTP/3ライブラリを作成する過程で、QPACKを実装した。HPACKやQPACKでは、圧縮を担う符号器(encoder)よりも、伸長を担う復号器(decoder)の方が、圧倒的に簡単である。このため、Haskellの復号器は、静的表に
2025-05-24
_ 蝶々夫人
新国立劇場で蝶々夫人。
今回、下手3階席で観たのだが、これまで気づかなかった家の仕掛けに初めて気づいて（あるいはスルーしていただけかも）演出の妙に唸らされた。
家の上手の角に柱がにょきっと立っていて、屋根をつけないことと後ろの襖の組み合わせで日本家屋らしさを抽象的に表現しているのだと考えていたのだがそうではなかった。
2幕でピンカートンをあきらめるように膝を折っ
【復旧済み】人力検索はてなにつながりにくくなる障害が発生していました
2025 / 5
May. 2025
Last Modified: Mon May 5 07:35:18 UTC 2025
気がついたら 2025-05-05 [Mon] 16:00
また1ヶ月たってた。
正直、ここにLLMの愚痴ばっかり書きたくないのだが…
LinkedInなぞを見ていると (そんなもん見るな! そもそも)
「AI Apologetics」とでも言う人々がこれほど多いのにおどろく。
そしてまた謎
Exact and repeating decimals
2025/04/13
#permalink
Exact and repeating decimals
Novice programmers are often perplexed by most programming languages
being not able to add 0.1 ten times ``correctly'':
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
無効なURLです。
プログラム設定の反映待ちである可能性があります。
しばらく時間をおいて再度アクセスをお試しください。
2024-12-04
MatchDataを渡してくれるscanが欲しかった話
2025年
1月
2月
3月
4月
5月
6月
7月
8月
9月
10月
11月
12月
出願手続きは共通ポータルがあって、全部オンラインでできる。高校では秋学期に進学向けのクラスがあって、その中でアドバイスを受けながら基本的には本人が自力で進める。
エッセイは結構重要らしいんだけど、これは自分には勘どころがわからない。ただ、進学クラスで綿密に練っていて、最終稿を見せてもらったけどなかなか良く書けていた。日本語でエッセイというと随筆みたいな印象だけど、こちらではどっちかというと小論文。
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 読者になる
LaTeX におけるページをまたいだ囲み記事スタイルのまとめ
追記（2014年11月7日） いまなら、囲み記事を書きたい場合には tcolorbox パッケージを使うのがよさそうです。 さらに脚注問題については footnoteパッケージというのが 1997 年からありました orz 方法は違うけど、以下の記事でやっている「段落ボックス...
ただただし t@tdtds.jp プログラマ、Webアクセス解析士を経て、現在はセキュリティエンジニア兼エンジニアリングマネージャ。
学生時代からフリーソフトウェア開発に関わりはじめ、かれこれ30年。RubyではWebアプリケーションを中心に開発。tDiaryプロジェクト創始者。
妻1人、猫2匹。
その後, 国立天文台暦計算室のページを見付けた.
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
家族で古墳Ｔシャツ
マイル日記
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日目 平成の記憶に残る３大イベント
2019年1月 4日 09:40 daiya | 個別ページ
最終日は、４人のブロガーの記憶に残る平成の３重大イベントを紹介しました。
いしたにまさき
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サービス終了のお知らせ