モデレーターによって削除されました
モデレーターによって削除されました State of C 2026 のスレッド State of C 2026 : r/programming が [ モデレーターによって削除されました ] : r/kerneldevelopment に。 こんなケースあるのね dangling else Ruby の
2026-01-22
型コスモロジー： 型宇宙、型銀河、ユグドラシル
雑記／備忘
最近の証明支援系／プログラミング言語では、通常の型システムの上位に宇宙システム（ソートシステムともいう）を備えたものがあります。2023年の記事「最近の型理論： 宇宙と世界、そして銀河」の冒頭を引用すると： Lean（最新版はLean 4）は強力な型シス…
型コスモロジー： 型宇宙、型銀河、ユグドラシル
前回より見た目がすっきり。吉田カバンのYouTubeを参考に
リュックサックを作る（2個目）
ydf.hatenablog.com ydf.hatenablog.com 3連休は色々と予定はあったけどリュックサックを作り直すことにした。前回作ったリュックサックをバラして作り直す訳ではなく、余った材料で（生地は必要な長さをあんまり考えずにテキトーに買ったから）新しく作ることにした。…
文書生活 :
この広告は、90日以上更新していないブログに表示しています。
2026-01-13
C++ MIX #17 開催案内
cppmix.connpass.com
次回のC++ MIXは、2026年3月13日 (金) 19:00-21:00に開催します。
ご参加お待ちしております。
faith_and_brave 2026-01-13 14:36 読者になる
Share on Tumblr
広告を非表示にする
もっと読む
コメントを書く
2026-01-11
dmd 2.112.0 リリース
D言語
dmd 2.112.0 がリリースされたので、winget でインストールできるようにしました。
手順は下記のとおり。
haru-s.hatenablog.com
haru-s 2026-01-11 12:12 読者になる
広告を非表示にする
もっと読む
コメントを書く
2026-01-11
dmd 2.112.0 リリース
D言語
この広告は、90日以上更新していないブログに表示しています。
2026-01-04
Dominant-Negative(ドミナント・ネガティブ)とAI開発
「Dominant-Negative(ドミナント・ネガティブ)」っていう言葉があって。
以前にここで取り上げたお題です。
https://gallu.hatenadiary.jp/entry/20101106/p5
生物は面白いもので、ある「重要ななにか(ここではとあるタンパク質)」が「まったく存在しない
2025-12-31
DevelopersIOで2025年12月に執筆した記事
開発
技術系の記事はDevelopersIOで執筆することにした。一方、すぐに修正されそうなトピックやワークアラウンド的な内容は記事の寿命が短くなる可能性があるため、引き続き「酢ろぐ!」で書くことにしている。 毎月の終わりに、DevelopersIOで執筆した記事へのリ…
2025-11-30
DevelopersIO
105
2025-11-12
Agda によるインタラクティブ証明ツール agda-tac を復旧した
agda-tac とは
agda-tac というツールを復旧したので紹介します。
agda-tac は ice1000*1 さんが作った、 Agda による定理証明を REPL 上で行うための(トイ)ツールです。Rust製です。
agda-tac の仕組み
Agda には emacs の agda-mo
We’re getting things ready
Loading your experience… This won’t take long.
2025-10-21
現行の ts-reset の [Readonly]Array.prototype.includes は引数の型をガードしてくれない
ts-reset は、歴史的経緯によって生じている TypeScript のイケてない部分を矯正してくれるライブラリです。
qiita.com
これを使えば、 JSON.parse の戻り値を any から unknown にしたりといった、地味
この広告は、90日以上更新していないブログに表示しています。
AIがもたらす週80時間労働と996とは
AIがもたらす週80時間労働と996とは
ウィキデータ項目
2025-02-16
初PC自作
PC
初PC自作
諸事情でAMDの環境が必要になったので初めて自作してみました。(BTOにAMDが少ない、、、)
要件はCPUが「Ryzen 5」以上、GPUが「RDNA 3」であることだけです。
CPU: AMD Ryzen 5 8500G with Wraith Stealth Cooler
ビデオカード: ASUS Dual Radeon RX 7600 E
単身生活で忘れていた。社会の気配がある家に住んでみたい
家ってそもそも社会的なスペースだったが
最近気づいたのだが、「家」ってそもそも社会的なスペースだったのですよね。まず多くの場合複数人が住んでいるし、衛生用品や食器、洋服などは家族それぞれのものがある。 また家のなかには個人の部屋があって、入室には許可が必要だったり場合によっては鍵がかかって…
タイドプールにとり残されて
毎年年末に開催！ 子ど
この広告は、90日以上更新していないブログに表示しています。
この広告は、90日以上更新していないブログに表示しています。
[2011/10/16
17:51]
日記 |
トラックバック(0) |
この記事のURL |
TOP ▲
生存報告、しましょうか。
日記
| TOP ▲
イマージーン！
生存報告、しましょうか。
というわけで上のネタラフ絵は、なんとなくトレスなピンドラ風ミクさんです。
超おひさしぶりです＞＜
無事生きております、網野コハクです。
お返事できなくってスミマセンで
Ideals and Reality
Cry's Blog
読者になる
KBDAHOLIC - やぬすさんとこ
読者になる
TrickDiary
読者になる
fjnlの生存記録のような何か
読者になる
ぐるぐる～
読者になる
kikairoya’s diary
読者になる
nyaocatのがんばるブログ
読者になる
Seasons.NET
Subscribe
気になったネタリンク
読者になる
デ-mk6
読者になる
GPGAのやる気を持続する開発および、研究日記
読者になる
くまメモ
読者になる
crimsonwoodsの日記
読者になる
すたんだーどっ☆あいおーっ！
読者になる
C++でゲームプログラミング
読者になる
xyuyuxの日記
読者になる
kurimura’s diary
読者になる
じょ〜だんの日記
読者になる
oto-oto-oto’s diary
読者になる
p_stade;
読者になる
hiroki_f’s diary
読者になる
mad日記
読者になる
meryngii.neta
hyuki 2019-01-06 23:42 読者になる
yaneurao 2015-02-18 00:00 読者になる
return0.infoに移転。昔の日記はまんま残してるので読みたい人はどうぞ。
世界樹の迷宮関係のコンテンツは移行が面倒なのでこっちに残すことにした。
世界樹の迷宮プレイ記録
世界樹の迷宮IIプレイ記録
世界樹の迷宮IIIプレイ記録
今日は Rust.Tokyo 2023 の日です
2023 / 10
Flutter
MVP Alumni
▼ ▶
2019
2019 / 3
▼ ▶
2018
2018 / 12
2018 / 10
2018 / 7
2018 / 5
2018 / 4
2018 / 3
▼ ▶
2017
2017 / 12
2017 / 4
▼ ▶
2015
2015 / 11
2015 / 4
2015 / 1
▼ ▶
2014
2014 / 2
2014 / 1
▼ ▶
2013
2013 / 12
2013 /
▼ ▶
2013
2013 / 11
▼ ▶
2011
2011 / 3
▼ ▶
2010
2010 / 4
▼ ▶
2009
2009 / 6
2009 / 2
▼ ▶
2008
2008 / 12
2008 / 7
2008 / 6
2008 / 5
2008 / 3
2008 / 2
2008 / 1
▼ ▶
2007
2007 / 12
2007 / 11
2007 / 10
2007 /
▼ ▶
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 /
プログラミングに関するブログ。Javaの記事などを書いていく予定です。 http://skdo.org/
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
読者になる
読者になる
これはオーム社で買っ
読者になる
https://yutorina.hatenablog.jp/ は非公開に設定されています。
404
お探しのページは見つかりませんでした。
はてなブログ トップ
はてなブログ ヘルプ
はてなブログ アカデミー
法人プラン
FAQ / お問い合わせ窓口
OSSコミュニティ支援プログラム
学校支援プログラム
クリエイターのためのはてなブログ
Copyright (C) 2001-2021 Hatena. All Rights Reserved.
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
C#でよく言われる課題として、シリアル化とUIデータ バインディングが面倒という話が前々からあります。といっても、これらに特殊対応するような言語機能(JSONリテラルとか、INotifyPropertyChangedの自動実装とか)の追加は得策ではない(きっと陳腐化する)。とはいえ、もっと汎用的な機能として何かできないか考えないと行けない。
シリアル化とかデータ バインディングとかを考えると、「同
この広告は、90日以上更新していないブログに表示しています。
404 Not Found： ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について ｜ 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp
<< 2018年04月 >>
1234567
891011121314
15161718192021
22232425262728
2930
last update 2/1
●2/1 ＴＯＰ更新 今年も俺の永遠の想い人の誕生日を祝うよ
雑記(10)
茶(12)
料理(3)
Last update 01/18
・芳文社様まんがタイムきららＭＡＸ2014年3月号で
『迷彩ＪＫ』の四コマを石鎚かがみ名義でゲスト掲載していただきました。
1月18日(4コマ描きました)
1/18発売の
まんがタイムきららＭＡＸに
石鎚かがみ名義で迷彩ＪＫの4コマをゲスト掲載していただきました。
漫画が雑誌に載るのは初めてだったので
線の細さとか気になってましたが
献本頂いたのでチェックしてみ
ニックネーム:ねこのみせオーナー。 at 18:30|コメント(0) | トラックバック(0) | 【ねこのみせ】移転。
やがてくる大増税時代に豊かに生活するために準備すべきこと
2011年11月12日(Sat) 無意味にサイトの日記を
更新したい日がある。
どーせ誰も見てねーんだろうな、へっへっへ。
唐突ですが、今日はTwitterに書き切れない雑事をこっちに書きこんでいこうと思います。
最近、家政婦のミタがすげー面白いす。女王の教室と同じ人だっけか？ あれも面白かったね。
久しぶりに私事でキーボード叩くと、何も書くことがないことに気づく。
だいたい毎日仕事してて、家の外
infoseekのサービスが終了するそうなので、下記サイトに移転します。
久遠天鈴
（現在、レイク改め久櫛縁が東方SSを書いているサイト）
今の所、オリジナル小説復帰は考えていませんが、こちらで今まで書いたものを公開します。
……一から始めたかったので、ハンドルネームとサイトを変えたのですが、まさかこういう事になるとは。