|
|
|
|
|
||
|
||
3a25f70c3b9c1b9334a8e8efba499995/parkedweb01
41 views
35 views
26 views
70 views
Canada's Prime Minister has resigned; how do they select the new leader?
Why do most SAS troops keep wearing their new red berets even after being given permission to use their old beige ones?
Keeping meat frozen outside in 20 degree weather
Jigsaw Thermometer Sud
832,903 hits
++C++; // 未確認飛行 C ブログ
WordPress.com Blog.
2025-01-07
亜集合の同型と同値
雑記／備忘
集合とその上の同値関係を一緒にした構造を亜集合〈setoid〉といいます。亜集合を特別な圏（やせた亜群）とみなすことにより、亜集合に圏論的概念を適用できます。「2つの亜集合が同値（同型とは別な概念）であることは、商集合が同型であることと同じ」を示…
亜集合の同型と同値
2025-01-06
AtCoder Beginner Contest 387 E
https://atcoder.jp/contests/abc387/tasks/abc387_e
9で割れるには各桁の和が9で割り切れればよいです。8で割れるには下3桁が8で割り切れればよいです。ある程度桁数があれば、80…000、140…012などで全て範囲をカバーできます。
// Digit Sum Divisible 2 #![allow(non_snake_case)] //////////////////// library //////////////////// fn read<T: std::
2025/01/05
nameof(T<>)
私：続けてみましょう。その際に、重複感がないかに気をつけて、先ほどの案が重複感があるようであれば、是正してください。
私：概ねいいですね。「契約の履行」のところ、意見書では「個人情報ファイル概念を民間部門へ導入する」と書きながら「準備に時間が足りず、説明文は未記載。」としていたところが、実はその実現方法なのです。それが解決方法の一案であることを軽く記載できますか。
macOSでmysqlclientのインストールでつまづいた
Python (528)
MySQL (10)
macOS (2)
NHK Eテレ、100分de名著、新春スペシャル「100分de筒井康隆」 ― 2025年01月02日 23時00分37秒
またしても、直前、でも、前日だから、早いほう。(>_<)
2025年1月3日、NHK Eテレの100分de名著は、新春スペシャル「100分de筒井康隆」です。
みんな、観てね♪
今後詳しく書くことがあるかもしれないけど、今は１行だけ。
この前、神戸で筒井さんご夫妻と、久々に会食しました。一生の思い出になりました。
https://www.nhk.jp/p/meicho/ts/XZGWLG117Y/blog/bl/p8kQkA4Pow/bp/p9wxzVdLzO/
新春スペシ
2025-01-01
2024 年の振り返り
2025 年になりましたが 2024 年の振り返りをしたいと思います。 プライベート 今年も特筆すべきことはなかったような気がします…。 会社の人たちとモンハンしたり原神したり CoD したり、技術書典に出したりと色々やれたのは楽しかったです。 昨年 2023 年に…
2024 年の振り返り
▼ ▶
2025
2025 / 1
数 GB のファイルを HTTP で.. 実は11年前(!)にも試...
C# プログラムでの Excel シ.. Excel ファイル (...
[.NET] Selenium に純.. Selenium でブラ...
Selenium - スクロール外で.. ※本稿は Seleniu...
PowerShell スクリプトファ.. 実行すると、現在日付を「...
SQL Server のデータベース.. SQL Manageme...
Copyright (C) 2001-2025 Hatena
© 2025 - プライバシー - 規約
朝から利き酒！ 新米の季節を満喫！
ぬかいわし、タレカツ、鶏の半身揚げ、そして笹団子。新潟を平らげる２泊３日
今回の旅の目的地は新潟。新潟には申し訳ないのだが、自発的に決めた目的地ではない。ＪＲ東日本の「どこかにビューーン！」という行き先ガチャサービスにより決定されたのだ。新潟といえば酒どころ米どころ。ちょうど新米の季節だ。どんとこい。古町エリアに宿を取っ…
キリンはハマグリのなかま
お出かけ・外食・旅行
「万人の味方のようでそうでもない」色に悩まされる
ブルベ夏、ベージュシャドウを考える
こんにちは。暑いかと思えば冬か！？となる程寒くなったりのヘンテコ気候により体調を2回も崩しましたが、街を
台北市内はベビーカーで回りやすい！
【1歳2ヶ月初海外】子連れで台湾旅行 旅の記録編
前回に引き続き子連れ台湾旅行の旅の記録を紹介したいと思います。 1歳2ヶ月の息子は伝い歩きができる程度で、自力で長時間歩くのは難しい時期でしたので、移動の中心はベビーカーに頼ることになりました。そこで台北市内がどれだけベビーカーで回りやすいか、また、振…
ちょうどいい暮らしのノート
旅行・お出かけ
“旅行でトランクにつけたらすごく良かった”
キーホルダーもてあます問題が解決
キーホルダー、つけることが少なくなっていましたが前回旅行でトランクにつけたらすごく良かったのでそのことをかきます。 かわいい緑の顔をした
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogTh
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
I'm an assistant professor at Charles University in
Prague and a partner at fsharpWorks. I believe that the most
of computing, but also in my writing on functional programming and in my teaching and F# consulting.
Looking for my academic homepage?
Also check out our research group
at Friday, February 14, 2014 13 comments:
2024-09-30
レバテックLABにて情報発信とお金についての記事を書きました
levtech.jp
2023年から、私が関わっている情報発信についてスポンサー募集を開始しましたが、そのあたりの考えについて記事を書かせていただきました。
持続的な情報発信、持続的なオープンソースの開発のための取り組みとして参考になれば幸いです。
faith_and_brave 2024-09-30 17:56 読者になる
Share on Tumblr
広告を非表示にする
もっと読む
コメントを書く
9/25/2024
9/25/2024
9/25/2024
9/25/2024
9/25/2024
HDD データセンタ用の HDD の中古 42234 合計 28 TB。ebay でデータセンタで使われてた中古 HDD 14TB を二個買った。これまでもデータセンター用の HDD を ebay で買ってきたけどとてもコスパ良い