ntnekのアンテナ

2026/01/24 01:14:03 檜山正幸のキマイラ飼育記
2026-01-22
型コスモロジー：型宇宙、型銀河、ユグドラシル
雑記／備忘
最近の証明支援系／プログラミング言語では、通常の型システムの上位に宇宙システム（ソートシステムともいう）を備えたものがあります。2023年の記事「最近の型理論：宇宙と世界、そして銀河」の冒頭を引用すると： Lean（最新版はLean 4）は強力な型シス…
型コスモロジー：型宇宙、型銀河、ユグドラシル
2026/01/23 07:09:40 Sutter’s Mill
Join 5,449 other subscribers
2026/01/19 17:12:58 ときどきの雑記帖リターンズ
スターダストボーイズ
Zガンダム＠テレ玉「天から来るもの」こちらも空き家にすればおあいこですモグラたたきの要領パラスアテナ/パラスアテネわたしは主義者ではないアポ
2026/01/16 06:21:53 shorebird　進化心理学中心の書評など
The Gene’s-Eye View of Evolution　その36
2026/01/15 12:52:23 Faith and Brave - C++で遊ぼう
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
広告を非表示にする
もっと読む
コメントを書く
2025/12/30 12:46:52 めもがき:最新 5 日分
このドメインを購入する。 | More domains at Seo.Domains
2025 著作権. 不許複製
2025/12/17 18:11:53 本の虫
105
2025/12/07 11:42:13 主題のない日記
2025-12-05
Chez Scheme のコンパイル結果を見る
高速な Scheme 処理系として知られる Chez Scheme の実行速度の源泉はネイティブコンパイラであることとコンパイル速度自体も速くなるように工夫が凝らされていることによる。対話的にすぐさま実行することも多いからなのかアセンブリ言語で出力してからアセンブルするような悠長なことはしておらず、逆アセンブルする機能も用意さ
2025/12/01 08:17:49 誰も居ない
旅行記への関心が高まったのは、生成AIのことを考えたから
旅行記記 | Log of Travelogue
旅行記や体験記といったものの摂取量を増やしたいというマイブームから、3冊の旅行記を読んだ。・panpanya『そぞろ各地探訪 panpanya旅行記集成』(https://amzn.to/3JYjjKc) 『魚社会』などの漫画を描いているpanpanyaの旅行記で、漫画や写真、文章が入り混
2025/11/26 14:33:18 Weblog @ Hatena: nyaxtstep.com
2025-11-23
自腹で買った mini PC を徹底レビューする
Linux サーバーノードとして「ちょうどいい」 mini PC を探して、2025 年にかけて実際にいくつも自腹購入して検証した結果をまとめた。
用途は、主に Kubernetes クラスターのワーカーノード／小規模なオンプレ検証環境としての利用を想定している。その上で動作させるワークロードは、Web サーバ用途（CDN 自
2025/11/13 05:38:46 methaneの日記
uWSGIでマルチスレッド利用時のプロセス間ロードバランス
2025/09/11 22:21:56 霧の中のテキスト採掘者
「居眠り神様」に「黄昏れるキノコ」。全国の表現者たち
【池特集】癖ありオブジェが気になる池
2023年11月新着。ネズミ男がクロールで泳ぐ池全国各地に点在する「癖ありオブジェ池」ちょっと変わったオブジェやモニュメント、ストリートファニチャーのある池は全国各地に。多くはその土地の歴史や風土と深く結びついてた表現者たちだ。今なおひっそり市井に隠れ…
水辺遍路
テーマ別特集
“絡みつく粘着系どら焼き
2025/07/05 09:36:46 IHARA Note
この広告は、90日以上更新していないブログに表示しています。
2025/03/13 10:34:46 melt日記 - VOCALOID すらまともに扱えないへたれのページ
「こんなに高い場所にどうやって絵を描いたんだろう」
中国・広西チワン族自治区壁画撮影行　その3
予定ではこの日はベトナム国境まで行って、古くからある門やベトナム物産の店などを見る予定だったが、どうもそれがさほど面白くなさそうだ。また、こちらに来てずっと曇天で小雨交じりで、この後もずっとそうした天気が予想されていた。上陸がどうなるか、状況次第で…
lithos Graphics web log
遺跡
2024/11/26 04:59:39 更新履歴兼雑記
この広告は、90日以上更新していないブログに表示しています。
2024/07/27 12:17:06 ConceptGCC Developer Blog
Design a site like this with WordPress.com
Get started
2024/07/23 04:33:10 イグトランスの頭の中（のかけら）
#include <boost/type_erasure/relaxed.hpp>template<typename T>
boost::type_erasure::relaxed,
boost::type_erasure::constructible<boost::type_erasure::_self(boost::type_erasure::_self&&)>,
boost::type_er
2024/03/28 11:05:03 Cry’s diary
Cry's Blog
読者になる
2024/03/28 10:11:30 やぬすさんとこの日記
KBDAHOLIC - やぬすさんとこ
読者になる
2024/03/28 08:15:26 TrickDiary
TrickDiary
読者になる
2024/03/28 06:51:28 はてなダイアリー - d金魚による dKingyo Utility Toolkit 日記
プログラミングの作業に何の価値も見出せなくなってしまったd金魚による日記
読者になる
2024/03/28 05:18:49 Note
Note
読者になる
2024/03/28 02:20:11 明日ではないから
明日ではないから
読者になる
2024/03/28 01:40:27 ゲームプログラムめも日記
ゲームプログラムめも日記
読者になる
2024/03/27 22:23:33 while(1)って恐くね？
while(1)って恐くね？
読者になる
2024/03/27 21:39:36 yamasaのネタ帳
yamasaのネタ帳
読者になる
2024/03/27 20:58:51 KZR
Radium Software
読者になる
2024/03/27 20:56:41 人工知能に関する断想録
人工知能に関する断創録
読者になる
2024/03/26 16:57:10 p_stade;
p_stade;
読者になる
2024/03/25 14:27:21 PGotMoL annex
firewood's diary
読者になる
2024/02/02 16:40:53 J
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_usi
2024/01/25 18:28:38 やねうらお－よっちゃんイカを買いに行ったついでに家を買う男
yaneurao 2015-02-18 00:00 読者になる
2023/08/19 13:23:22 アルファ・ラルファ大通りの脇道
【PR】≫
2023/02/14 14:40:37 ntnekの日記
▼ ▶
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 /
2022/04/08 07:23:03 DO++
April 2022
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
都城のおすすめ整骨院 on あー実験うまくいかないー
2021/11/21 20:58:06 d.y.d.
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
2021/10/28 21:08:37 Brendan’s Roadmap Updates
JavaScript at 20
Brendan Eich
Standardization
”Things that are impossible just take longer.” - Hixie
What was it like to hack JS in 10 days?
Me in 1993, before I created JavaScript in 10 days
1995, af
2021/10/20 17:58:12 Heron-Centric: Ruminations of a Language Designer -A Weblog by Christopher Diggins-
Ervin Varga
Bill Venners
David Vydra
Jim Waldo
Dick Wall
Barry Warsaw
Mark Williamson
Matthew Wilson
Gregg Wonderly
Kevin Wright
13 pages [ 1 2 3 4 5 6 ]
Implementing Programming Language Tools in C#
2021/10/20 17:46:41 Computing Thoughts -A Weblog by Bruce Eckel-
Bill Venners
David Vydra
Jim Waldo
Dick Wall
Barry Warsaw
Mark Williamson
Matthew Wilson
Gregg Wonderly
Kevin Wright
19 pages [ 1 2 3 4 5 6 ]
Moving This Blog to Github Pages
November 21, 2014, Submit
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 18:34:44 Prescriptions, Proscriptions, and Prognostications -A Weblog by Matthew Wilson-
Ervin Varga
Bill Venners
David Vydra
Jim Waldo
Dick Wall
Barry Warsaw
Mark Williamson
Matthew Wilson
Gregg Wonderly
Kevin Wright
2 pages [ 1 2 ]
Breaking Up The Monolith: coming at last
October 22, 20
2021/09/07 18:55:43 The Eclectic Polyglot -A Weblog by Andrew Koenig-
Ervin Varga
Bill Venners
David Vydra
Jim Waldo
Dick Wall
Barry Warsaw
Mark Williamson
Matthew Wilson
Gregg Wonderly
Kevin Wright
1 page [ 1 ]
What Can We Do About Unprovable Errors?
June 12, 2004, 19
2021/07/12 20:59:20 はてなダイアリー - NyaRuRuの日記
読者になる
2021/07/12 20:56:49 memologue
読者になる
% g++ -DV2 -O2 -c test.cpp ; g++
2021/04/25 00:26:06 C++と組み込み環境
--/-- スポンサーサイト
スポンサーサイト
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
--------(--) | スポンサー広告
2021/02/02 08:00:16 アルゴリズムマニア2.0
FAQ / お問い合わせ窓口
2021/02/02 02:45:40 低学歴無能俸給生活者のニャッキ(ll )))))))
FAQ / お問い合わせ窓口
2021/02/01 22:24:55 tueda_wolfの日記
FAQ / お問い合わせ窓口
2021/02/01 20:18:17 比護貴之の進捗
FAQ / お問い合わせ窓口
2020/09/27 11:46:15 社本＠ワック Blog
コメント - 1701
2020/09/10 10:42:47 MEG-OSのなかのひと
一緒に住んでいた人が想像のナナメ上を行く出世をしたという話。
かあいがもん「お父さんの日記」
2020-09-09 13:34:16
私の自宅には人が転がり込んできたり下宿したりという事が多かった。そんな一緒の屋根の下で暮らした人達の中に私の…
【今日の家事】掃除機のメンテナンス
少ない物ですっきり暮らす
2020-09-09 06:00:02
自民党総裁選候補者の演説まとめ
Chikirin
2020/08/29 10:57:22 らいおんの隠れ家
最近の冷凍食品うますぎてこわい
kansou
2020-08-28 18:09:12
【8/31まで】63時間のビッグセール Amazonタイムセールを淡々とチェックする【随時更…
山と旅とカメラのブログ。
2020-08-29 09:47:29
【話題沸騰中】軽量でお洒落なコマンドプロンプト拡張ライブラリ「Starship」を導入…
Hajimari Tech Blog| 株式会社Hajimar
2020/08/27 12:01:02 Matzにっき
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード
2020/07/28 10:03:13 ばけのほぞこいた日記
世界に真摯に寛容であること。三浦春馬さんとキンキーブーツ
インターネットもぐもぐ
2020-07-28 00:47:10
正直、彼のことはあまり知らない。追悼できるほど知らない。でもこの1週間ずっと彼のことが頭にあった。私の中であ…
ぼのこと女社会2【第53話-1】
ぼのぐらし。
2020-07-27 21:16:04
【中国史】戦闘力が異常に高かった宦官列伝
歴ログ -世界史専門ブログ-
20
2020/04/16 06:59:15 mgrier’s WebLog
Theme
Light
Dark
High contrast
2020/04/16 06:07:37 Michael Howard’s Web Log
Theme
Light
Dark
High contrast
2019/11/30 11:53:49 Radium Software Development
iPhone修理とは、画面割れ、水没、バッテリー故障などで壊れたiPhoneの修理をすることを言います。修理内容によって修理費が異なります。
2019/02/16 22:26:23 いやなブログ
bkブログ
プログラミングやバッドノウハウについてのブログ
2004-2011年に書いていたブログのアーカイブです。
机の上のもののワイヤレス化 - Microsoft Arc Keyboard の導入
iPodは何を変えたのか? 人が問題にぶち当たったときには、どうするか?
ソフトウエアの肥大化について、の続き
ソフトウェアの肥大化について
ある程度の年齢を迎えたプログラマが抱える悩み
Unic
2018/03/05 16:31:54 あまね書房／書房案内
404 Not Found：ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について｜個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp
2016/02/27 00:24:25 The Old New Thing
February 2016 (22)
All of 2016 (44)
2013/08/04 01:37:48 東方算程譚
Intel CnC であそんでみた(そのに)
前回の複利計算。お気づきとは存じますが実はちっとも並列処理やってません。
n-1番step が完了(n-1番itemを出力)するまで n番step は出番がなくて居眠りしてますからね。
もちっとマシな、並列処理をちゃんとやるサンプルをこさえました。毎度おなじみ”ソート”です。
戦術はこんなかんじ:
”範囲[lo,hi) をソートする”
範囲がそこそこ小
2013/06/16 00:55:14 R.Tanaka.Ichiro’s Blog
2013年6月 (1)
2013年6月15日
皆さんお元気ですか？
すっかりご無沙汰しております。
Ｒ・田中一郎でございます
すっかり忘れられてしまっているでしょうか。
いや、なんとなく久しぶりに投稿してみようかと思いまして。
最近すっかり忙しくて何もできていませんし、これからできるようになる気配もないのですが「マイペースで復活していきたいなぁ」と思っています。
思っているだけで終わってしまうかも
2012/03/08 21:37:43 きまぐれ日記
きまぐれ日記
2010年04月21日
MeCabがiPhone,OSXに載っていると言うのは止めようと思う
iPhoneのSDKの条項に変更が加わり、Flashのクロスコンパイルを含む純正開発ツール以外で作成されたバイナリの配布が禁止となるようです。世間でも散々言われていますが、この変更は正直とても残念です。
Apple的には「製品のクオリティーが保てない
2010/03/23 17:59:56 ISO/IEC JTC1/SC22/WG21- Papers 2007
N2151 07-0011 Variadic Templates for the C++0x Standard Library D. Gregor, J. J舐vi, 2007-01-08 2007-01.htm”>2007-01.htm”>2007-01.htm”>2007-01 Library
N216507-0025Adding Alignment Support to the C++ Pr