|
|
|
|
|
||
|
||
@2026-08-06 20:36 · 13 hours ago
@2026-08-05 16:20 · 41 hours ago
@2026-05-24 08:15 · 75 days ago
2026/07/28 00:30:24 UTC (9 days ago) Shiro:AuditionRecords
August 05, 2026
Mark Jason Dominus
The road to epsilon-zero: Coin-moving games with no coins
Previously:
Ordinal numbers and basic set theory
Ordinals as nim-heaps
Nim always ends, even with infinite
Piet Quine（2026 バージョン）＋難解プログラミング言語デザインコンテストのご紹介
2026 / 8
2026-07-30
第二種電気工事士試験を受けてみた④実技試験の練習
実技試験対策の練習
複線図について
まずは複線図が書けるようになり、資材の寸法、接続部の条件などをすべて書き込めるようになると、作業中にもチェックが出来るようになり、ミスを防ぐことができるようになる。そこで、公表問題について、まずは複線化を習熟することをお勧めする。
1度目の挑戦。時間を5分に設定するが、時間を超えても完成まで
初期の作品 --- Early Work 2020/10/19
優れた成果を出すことを阻む最大の理由は、恐れだ。
Google Reader の「A」にはご注意
あああっ! Google Reader 上で「 A (Shift + a)」キーを押しちゃった。 A キーは「全ての記事を既読にする」ショートカット。まだ読んでない、千近い記事が全部既読になっちゃった。どれが読んでないエントリーなのか、もう分からなくなっちゃったよ。 Goo...
Mac OS X 初心者が日本語入力をするときにハマルことのまと
終業式で校長講話が脱線 事故調設置へ 東京・マキャベリ小
東京・八王子市の私立マキャベリ小学校で１７日、終業式中に校長の話が脱線する事故があった。式は２時間３５分遅れで終了した。教師と児童４８０人にけがはなかった。... 続きを読む
「鮎の春巻き」に感動。家でも再現を試みる
東京滞在記、家での料理
東京滞在記 出張が重なりしばらく東京に滞在していた。ここ数年の都内のビジネスホテルの高騰ぶりは凄まじく、朝食付きだと1万円を簡単に超えてくる。そうなるとある意味宿泊にいろいろな選択肢があるような気がして、今回はDDD HOTELなるホテルに泊まってみた。 かつ…
石記
料理
家族連れワーケーション。台風の影響もありつつ満喫！
復幸旅
2026-07-06
attributeとかその他の公理いくつかとか
attribute
前回書いた通り、例えば variable {V : Type*} [SetStructure V] [hV_Nonempty: Nonempty V] [hV_ZFC : V ⊧ₘ* 𝗭𝗙𝗖]とかしてやると、VはZFCのモデルとして振る舞うことになる。それはとても良いのだけれども、Z.leanはV ⊧ₘ* 𝗭
登録: 投稿 (Atom)
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 21, 2025
Friday, November 2
この広告は、90日以上更新していないブログに表示しています。
AquaSKK 開発日記
読者になる
Radium Software
読者になる
koguroの日記
読者になる
▼ ▶
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 /
[Today:2022/04/29(Fri)]
2022-04-29T07:15:41+09:00 [Cialis]→[促側促卒促側促卒促谷臓村促測] chYKuZAmsSKtSl
2022-04-28T08:01:51+09:00 [CheapDrugs]→[促側促卒促側促卒促谷臓村促測] BoANHfkleTCkEtMZ
2022-04-27T23:01:03+09:00 [Tadalafil
14分前
Kindle本月替わりセール：3月は「ルポ プーチンの戦争」「図解地政学入門」「VBAユーザーのためのPython超入門」など
今月の積ん読候補です
Engadgetオトク情報局・14分前
19分前
TCLが内外折りたたみスマホコンセプト「Ultra Flex」。利便性と保護性能を両立
本物の手帳みたい
塚本直樹(Naoki Tsukamoto)・19分前
『Forza Horizon
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会が
MOONGIFT Archived
Home - タグ - このサイトについて
MOONGIFTはオープンソース・ソフトウェアを紹介するブログです。2021年07月16日で更新停止しました
MOONGIFT Archived
Tank Vs Zombie Game Built in Ruby - Rubyで書かれた戦車 vs ゾンビゲーム Jul 16, 2021 - 1 min read
Kop
© Yahoo Japan
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〓dy {
Not Found
The requested URL /diary/ was not found on this server.
Apache Server at www.hizum.net Port 80
Forbidden
You don’t have permission to access /blog/kahua on this server.
Forbidden
You don’t have permission to access /blog/oneline on this server.
Forbidden
You don’t have permission to access /book-cover/puzzle-generator-age on this server.
English
upTeX of TeXLive
平成24年5月16日(水)：upTeX とは限らないようになってきた気がするのでpTeX in TeXLiveに移動。今後更新はそちらで行ないます。
平成24年5月15日(火)：互換性について。以前の pTeX で作成したファイルを処理するには次のようにすれば良いように思える。
platex -kanji=euc foo
pbibtex -kanj
「Firefox 52」安定版公開、Webアプリを飛躍させる新技術のサポート開始 [10:57 3/8]
新・OS X ハッキング! 第185回 Sierraで消えたFinder関連の便利機能を復活させる [10:00 3/8]
新・OS X ハッキング! 第185回 Sierraで消えたFinder関連の便利機能を復活させる
Apple Payが86%の国内発行クレジットカードで利用可能に -
Linked Horizon、TVアニメ『進撃の巨人』Season 2のOP主題歌タイトル発表[02:42 3/7]ホビー
『ユーリ!!! on ICE』、BD&DVD4巻のジャケットはヴィクトル&ジャコメッティ[02:03 3/7]ホビー
『ガーリッシュ ナンバー』、イベントメインビジュアルやジャケ写を公開[01:47 3/7]ホビー
「進撃の巨人」1〓8巻をWebとアプリで公開
2015/10
2015/10/16
2015/10
2015/10/16
2015/10/16(Fri) 17:01:21 WikiLab/WorkReport/TagLinks
* tag-links 専用コメントボックス。{{id:COMMENT;_}}
- 2004/03/25(Thu) 12:07:43 sbox にはいらない気がするけど、個人用の Wiki に tag-links 専用
こちらへ引っ越しました
ASCII pTeXの内部コードをUnicode化する開発をしています。 pTeX, pLaTeXのUnicode版: `upTeX’, `upLaTeX’ と名付けました。
土村さんの ptetex3, UTF-8対応(3), UTF-8対応(4), UTF-8対応(5) をベースに開発を進め、TeXLive svn をベースに作成しました。 素晴らしい環境のご提供、あり
本日のツッコミ(全2件) [ツッコミを入れる]
ψ さかい [おお。知らなかったです。ありがとうございます！]
Tags: haskell machine-learning
Tags: haskell machine-learning optimization
Tags: haskell machine-learning optimization
さかい (05-07)
metaphusika (
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
2012-11-14
# にゃー
実装フェーズが佳境に入ってから、プロトコル仕様書レベルのバグが見つかった OMG！この仕様書についてはけっこう不安視して検証はしてたのだが、有効な手を打てていなかった。うがが。
実際には、検証としてスクリプト言語でのプロトタイピングを行っていたのだけど、エミュレートしていた対向システムの入出力レベルより、もっと細かいレベルで不具合が出てしまった（プロトコルマトリッ
第397回 MCUで遊ぼう(45)
最新のお題: 数字混じり文字列ソート
greentea #12222(2010/07/17 13:21 GMT) 評価0/0=0.00
ファイル名の表示順序としてWindows Vista以降のExplorerや、KDEのDolphinでもいつの間にか、単純な辞書順ソートではなく数字混じりの文字列を数字順に並べるソートが採用されています。ここではそのソート方法を数字混じり文字列ソートと呼びます。