アレゲはアレゲを呼ぶ -- ある傍観者
https://srad.jp/アレゲなニュースと雑談サイトja-jpCopyright (C) スラド, OSDN Corporation2020-08-03T05:42:47+00:00スラドslashmaster@srad.jpTechnology1970-01-01T00:00+00:002hourly https://srad.jp/static/srad_logo01.pnghttps
7月31日_
『幻影の手術室: 天久鷹央の事件カルテ』(知念実希人)
面白かった.その真相は予想外だった.
7月30日_
SVE
ちょっとずつ試してたことをまとめてる.
7月29日_
OpenMPでaggregation
サンプルみながら試してみた. custom.cpp.Goから使うのはmacOSのオプションが違う(-fopenmpじゃない)のでだめだな.素直にC++内部で書く方がよいか.
2020-08-03
『もうすぐ絶滅するという開かれたウェブについて 続・情報共有の未来』への反応 その34
『もうすぐ絶滅するという開かれたウェブについて 続・情報共有の未来』だが、著者としては Kindle 版へのリアクションが多かったのを意外に感じた。
もうすぐ絶滅するという開かれたウェブについて: 続・情報共有の未来 yomoyomo https://t.co/lhWeZxbhS3 実はい
小ネタ
気がついたら一本も書かずに7月が終わろうとしているので適当に小ネタを。TINY BASIC ちょっと前にGW-BASICのソースコードが公開されましたが、 今回はBASICでもTINY BASICの話 (GW-BASICの方でも書きかけの記事があるのだけどそれはまたの機会に)。ver2.0 いわゆる Palo Alto Tiny BASIC のソースコードを眺めていたら ;********
2020-07-29
確率的圏、存在命題とスコーレム・コンビネータ
以前に書いた記事「圏論的確率論におけるCタイプとAタイプ」と、昨日書いた記事「マルコフ圏におけるベイズの反転定理」に対する補足を書きます。
内容：
確率的圏
確率的圏の事例
存在命題
スコーレム・コンビネータ
確率的圏
確率的圏〈stochastic category〉とは何か？ 広く合意された定義はありません。が、曖昧なまま言葉
2020-07-29 (Wed)
#1 Coq issue
GitHub coq/issues/12771: Coq 8.12 -I option inserts ML path after user-contrib
S式は前置記法でなくても良い
Posted 2020-07-28 21:59:39 GMT
S式といえば、逆ポーランド記法(前置記法)という印象がありますが、肝要なのはS式というデータでコードを記述することなので、特に前置でなければいけないということもない筈です。
そもそも、点対リストの記法は中置じゃないかと思うのですが、どうなのでしょう。
(a . d)
前置であれば、
(. a d)
となりそ
_ 候補
mark & sweep GC
DNS クライアント
(14:41)
_ 候補
ストレージの遅さを実感する系の……
あと mmap とか paging とかは良いトピックだよなあ
(14:43)
_ 候補
satソルバ系のやつ
(18:32)
2020-07-13
構文解析歴20年近くになりました
まえがき
タイトルが一体何言ってるんだお前は、という感じのものなのですが、初めて構文解析器ぽいものを書き始めてから、たぶん20年くらい経ったかなくらいの意味です。私を知っている方はご存知かも知れませんが、修士~博士にかけての私の研究テーマは、Packrat Parser/PEGで、博士論文もそれ関係でした。
で、博士号取った後、査読付き論文は
2020-06-13
Rust 入門してみた
プログラミング言語 Rust に興味が出ている。 公式の入門書の日本語訳が無料で読めるので基本的なことを理解するだけならそれほどハードルは高くない。
私はとりあえず練習として簡単なプログラムをひとつ完成させただけでまだまだ Rust を使い込んでいるわけではないのだが、 Rust はとても良いプログラミング言語だというのが現時点での感想だ。
私は以前に
Macintosh や X-window でGUIを使い始めた1990年代の頃から, 「GUI環境にはまともなページャーがない」ということがずっと気になっていた。
一方でDOSにはMIEL,端末では lessや lv のような高機能ページャーがあるので, GUIでも何とかならないかと考えていた。*1X-windowでは, 学部生の頃に買ったTcl/Tkの最初の本, Ousterhoutの”Tcl
ICFP programming contest 2018
Tweet
広告を非表示にする
もっと読む
コメ
Mt. Umunhumに登った
妻に教えてもらうまで知らなかったのだが、Mount Umunhum という山がある。南側サンタクルーズ山脈のなかの山で二番目に高い（標高1,063メートル）。また、山頂に直方体の建物があるのも特徴で、教えてもらってわかってみれば、たしかにたまに山を眺めてみると、山頂にあきらかな人工物が建っているやつがあってあきらかに異様なかんじがある。それがUmunhum山だ。
山
OSvの概要と実装 by Takuya ASADA 11632 views
クラウドの垣根を超えた高性能計算に向けて〓AIST Super Gre... by Ryousei Takano 10031 views
OSvの概要と実装 by Takuya ASADA 11632 views
クラウドの垣根を超えた高性能計算に向けて〓AIST Super Gre... by Ryousei Takan
このように、インデントがどんどん深まって行きます。この現象でコードが読み書きしづらくなることは、コールバック地獄と呼ばれています。
2.2. コルーチンを使ったイディオム
実は、このインデントの現象は、非対称コルーチンできれいに解決できます。疑似コードで説明します。
coroutine A {
yield setTimeout(function() { A.resume(); }, 1000);
Apr. 2020
Last Modified: Sat Apr 11 05:02:35 UTC 2020
Duuude2020-04-11 [Sat] 13:29
暗い話だよなー、ほんとに。
技術的な判断ができない人々や、精神論的な考え方に頼る人々がトップに立つことが多い日本は、長い目で見れば徐々に衰退していくだろうとかねがね思っていた。が、この現象はもっと短時間のうちに起こりそうである。そして
この広告は、90日以上更新していないブログに表示しています。
Enjoy TLS 1.3 in Haskell!
kazu-yamamoto 2019-06-07 16:
6 hours ago
2 days ago
記号は１文字でトークンになるところがミソであるが（Smalltalk-76も同じ。なお、-80以降の今のSmalltalkでは記号が続くとまとめてトークンになるので、<=>とか新しいメソッドを追加できる──）、「=<」「<=」の代わりに「≦」を用いる等で必然的に多くの記号が必要になり、ともするとコードの読み下しのしにくさ、またLivelyWeb版に関してはWebブラウザにキ
10月上旬
2019年10月2日(水)
■ 正当なメールアドレスが使えないのは不当か
_ Jリーグチケットは正当なメールアドレスを受け付けないという話。
_ 自分も y@ という1文字ローカルパートなメールアドレスを使ってるのでときどき同じ罠にひっかかるけど、まあそういうもんだと思うけどね。イラッとすることは否定しないけど。RFC で制限されてないからといって、アプリケーションが独自に制限
2019年6月17日月曜日
SDGsロゴの錯視
貧困なし, 飢餓ゼロ, 健康と幸福, 高度の教育,...など, 2030年までの17達成目標を掲げる国連のSDGs(持続可能な開発目標 Sustainable Development Goals)のロゴはなかなか華麗だ. 早速PostScriptで描いてみた.
￥
カラフルな17個の扇形で囲まれていて, その隣り同志の扇形の間には白い間隔がある. こ
TravisCI で粗雑にテストを分割実行する (2018-09-18 02:46:10 UTC)
14年4月 diary
最新の日記 前の月 次の月 日記INDEX はじめての方へ HOME
4月1日（火）
▼「ヒッグス粒子を追え」フランク・クローズ
この辺りの理論は知っていたが、発見のドラマの方について読んだのは初めてだったので面白かった。朝永らのくり込みの時代から始まって、標準モデルが確立するまでの過程を「無限大の問題」を軸にしてまとめたもの。原題は”the Infinity Puzzle