|
|
|
|
|
||
|
||
@2025-06-11 14:25 · 17 hours ago
@2025-06-10 07:00 · 2 days ago
@2025-06-04 06:01 · 8 days ago
@2025-05-30 07:00 · 13 days ago
@2025-05-29 07:00 · 14 days ago
@2025-05-28 07:00 · 15 days ago
@2025-05-
June 11, 2025
Simon Marlow
Browsing Stackage with VS Code and Glean
Browsing Stackage with VS Code and Glean
June 11, 2025
Have you ever wished you could browse all the Haskell packages
together in yo
2021/06/11 16:26:29 UTC (4 years ago) 練習ページ
Wednesday, June 11, 2025
Andy Wingo
whippet in guile hacklog: evacuation
Good evening, hackfolk. A quick note this evening to record a waypoint
in my efforts to improve Guile’s memory manager.
So, I
「スイッチ２じゃない」 祖父を殴った孫を厳重注意
祖父（６２）を鈍器のようなもので殴ったとして西世田谷署は５日、東京都世田谷区に住む男子児童（６）を厳重注意した。祖父は全治３日の軽傷。... 続きを読む
2025-06-04
対集合の公理
前回: 空集合の存在するモデル書き直し - kururu_goedel’s diary
realize_or、realize_and
前回書いた通り、できる限りsimpでモデルの充足を外側での命題に書き換えられるようにしたい。というわけで、orとandをrealizeするための定理を作る。いや、realize_orは前回の時点であったけど簡単になったので載せ直す
第 161 回 TOEIC 実施中止
今日 (2011-03-13 Sun) 開催予定だった第 161 回 TOEIC は、全会場において実施を中止する。 昨日の 13:30 頃、実施中止のメールが舞い込んだ。今後の対応については、追って連絡するとのこと。 考えてみれば、今回の地震・津波で試験会場や試験員が被害に...
2025-04-17
■
帰ってきました。
研究雑記などを書くためにresearchmapの研究ブログを使っていたのですが、最近、researchmapがブログ機能を見捨てつつあるように感じているので、移転先を探しています。とりあえず、ここも復活させます。どう使うかは未定です。
wd0 2025-04-17 18:21 読者になる
広告を非表示にする
もっと読む
コメントを書く
帰ってきました。
「型システムのしくみ」発売のお知らせ
▼ ▶
2025
2025 / 4
等間隔に生えた草。トラクターを使って整地したから？
空き地の気になる植物〈前編〉
はじめに 野生化した園芸種の花、地表を覆い尽くすツル植物、シンボルツリー化した雑木など、空き地を訪れる中で印象的な植物に出会うことがある。 これらの姿を観察していると、その土地の管理方法が窺えたり、自然の力強さをあらためて認識させられたりする。 本記事…
空き地図鑑
はてなブログPro
利用されていない土地 – 開発
2025-03-16
Pebbleについて思う事
Pebbleの周辺の動きが再び活発になってきた気配がありますね。
個人的にも嬉しい限りです。
そんな中ですが、コロナの間ぐらいにちょっとずつ書いていた文章がありましたので、
整理してこちらで公開する事にしました。
note.com
現在２つアップロードしましたが、あと少し続きます。
興味がありましたらお読みください。
aoshimak 2025-0
Gauche - Current version 0.9.15 (2024/04/24)
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とアプリで公開
0 件のコメント:
tags:news
0 件のコメント:
tags:essay
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でもいつの間にか、単純な辞書順ソートではなく数字混じりの文字列を数字順に並べるソートが採用されています。ここではそのソート方法を数字混じり文字列ソートと呼びます。