UNIXはただ死んだだけでなく、本当にひどい臭いを放ち始めている -- あるソフトウェアエンジニア
2019-01-16
_ 深層画像合成
https://github.com/luanfujun/deep-painterly-harmonization
すごいなこれ…
(20:35)
_ コインハイブ
http://iwanagalaw.blog.shinobi.jp/it/%E3%81%A1%E3%82%87%E3%81%A3%E3%81%A8%E3%81%BE%E3%81%9A%E3%81
分配法則が成立するなら、“和の積”と“積の和”が等しいので、
[追記]引き戻しに関しては、「リストモナドとテンソル空間モナドのあいだの準同型射 // モナドを随伴系に沿って引き戻す」に書いてありました。[/追記]
昨年（2018年）の9月に「モナドはモノイドだが、モノイドじゃない」という記事を書きました。そのなかで-2,3日前からn（不明）回目のマイ・モナドブームです。今回のブームのテーマは、「2
https://srad.jp/アレゲなニュースと雑談サイトja-jpCopyright (C) スラド, OSDN Corporation2019-01-16T14:38:27+00:00スラドslashmaster@srad.jpTechnology1970-01-01T00:00+00:002hourly https://images.srad.jp/srad_logo01.pnghttps
MOP vs マクロ (1)
Posted 2019-01-13 21:46:09 GMT
オブジェクト指向システムを拡張する際に、痒い所に微妙に手が届かない気がするMOPと、なんでもできるけど安易なメタプログラミングも嫌だなあというマクロで使い分けに迷うことはないでしょうか。
例えばですが、defstructにはアクセサを自動で生成する機能があり、�海竜’修砲弔い討倭韻薫�しがありますが、defc
1月13日_
Re: templateクラスのstatic変数のexport
わかった. templateクラス本体に手を入れるのではなく明示的templateクラスの生成時(explicit template instantiation)に__declspecをつけるのだった(var.hpp).
#ifdef DLL_EXPORT
#define DLL_API __declspec(dllex
2019-01-04
文化中立
近頃は Unicode にたくさんの絵文字がある。 原則としては文化中立である (例えば顔文字が特定の人種であったりするのは好ましくない) とされているが、各国からの提案には文化依存な要素があるものもある。
例えば日本からの提案で Unicode に入った門松(かどまつ)の絵文字だ。 Unicode の規格では門松の絵文字に Pine decoration という名
この本の書名だけ見ただけなら、ワタシはあまり興味を持たなかったろう。しかし、この本の著者が「オルタナ右翼の源流ニック・ランドと新反動主義」を書いた人と知ると、途端に前のめりになった。
ここで横道にそれるが、河口俊彦老師に一度だけお目にかかった際、米長邦雄が名人戦に初めて挑戦者になったとき、山口瞳の観戦を一度拒否した理由について、『血涙十番勝負』を読んでも山口瞳が米長のことを大いに買っていることは明
海街diaryにおける携帯電話の歴史
『海街diary』が9巻「行ってくる」にて無事完結とあいなりました。最後の方はこう、予定調和的ではあったけれども、とにかく、やっぱり、ほんとうにおもしろい漫画でした。
これは1巻から読み直さなければ、という気分が高まり読み返していたのですが、読んでいて気づいたことが。
海街diary、読み返してみたら当初はみんな二つ折り携帯でメールと通話で連絡とってて驚いた。
2018-12-12
ONNX はチューリング完全だよ、という話
シクシク素数列 Advent Calendar 2018 向けです。
ONNX はニューラルネットのモデルをエクスポートして、別の実装でインポートできたりする、相互運用のためのフォーマットです。複雑なモデルをサポートできるようにと、 Loop とか If とかがあるので、チューリング完全です。ただまあ実際にえぐい使われ方してる例は見
2018-12-11 (Tue)
#1 coq issue #9186 Conversion test raised an anomaly: ”conversion was given ill-typed terms (FProd).”
coq issue #9186
2018: 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
2018-12-09 プログラマは人間のことって注釈が必要な時代
「ロケットガールの誕生〜コンピューターになった女性たち」って本を読んでいて、ふと思い立ったので久しぶりに書いてみる。なんと4年振り！
NASAマーキュリー計画の裏方で活躍した黒人女性らを描いた「ドリーム（Hidden Figures）」って映画のヒットも記憶に新しいが、もともとコンピュータは数値計算をする人間のことを指していた。なの
スマートフォン用の表示で見る
インターネットに関する技術的な話など
2018-10-30
TLS 1.3 開発日記 その28 RFC8446
TLS Haskell
はてなダイアリーからはてなブログに移行しました。今後も、細々とブログを書いていきます。
2018年8月、TLS 1.3がRFC8446になりました！(TLSのRFCは、伝統的にXX46という番号になります。) RFC8446の貢献者リ
Last Modified: Thu Oct 25 13:55:53 UTC 2018
Title2018-10-25 [Thu] 23:18
「自己責任論」って一体何なんだ?
「政府は人質のために一切何もするな」というのが自己責任論なのか。だとすると「政府は経済が破綻しても人質を助けるべし」というのが「自己責任じゃない論」なのか。どっちも極端すぎてイヤだ。たとえば、北朝鮮に拉致られた人々なんか本
2018年8月22日水曜日
e1000桁の計算
60年くらい前によく行われていた, Napier’s constant eの値を1000桁計算するパラメトロン計算機PC-1のプログラムについてのファイルがあったので, 私のブログに載せておくことにした.
自然対数の底 e の値を小数点以下1000桁まで計算することは,1960年代の計算機で流行した.
今回は、ruby-0.60.tar.gz や ruby-0.64.tar.gz が正常に展開できるので、欠損部分もだいたい想像できます。DEFLATE をデコードしていき、欠損部分については前後バージョンから平文を推定し、それを DEFLATE エンコードすることで、欠損データを補完していくスクリプトを書きました。簡単に言ってますが一晩はかかってます。
2018年05月16日(水)[n年日記]
#1 DataGlyph
増井さんのインターフェイスの街角を読んでずっと以前から気になっていた, QRコードに本来代わるようなXerox PARCで開発されたデータの画像化法 ”DataGlyph” を, 夜中にふと思い立ってC言語でエンコーダとデコーダを簡単に実装してみました。
% glyph ファイル でファイルをエンコードし, % unglyph フ
真面目に考えれば、USBはちゃんとバスとして働いているのに対して、RS232Cは本当にただのシリアルなので、シリアルバス to シリアル変換と考えれば別にそれほどおかしくない気もする。
前述エミュレーターは Web アプリフレームワークの Lively Kernel（Lively Web）上にノートテイカーのエミュを構築し、その上で Smalltalk-78 を動作させています。
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle