00:56:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Graal/Truffleについて軽く | κeenのHappy Hacκing Blog
00:58:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 00:56:39 📖📲📶の投稿
deflis@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
07:46:18
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
07:51:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
07:52:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-04 20:22:37 Now at cwebber@social.coop !の投稿
cwebber@octodon.social
このアカウントは、notestockで公開設定になっていません。
07:53:08
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 02:16:02 Now at cwebber@social.coop !の投稿
cwebber@octodon.social
このアカウントは、notestockで公開設定になっていません。
07:53:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 02:57:02 switching.socialの投稿
switchingsocial@mastodon.at
このアカウントは、notestockで公開設定になっていません。
07:54:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 07:38:07 see shy joの投稿
joeyh@octodon.social
このアカウントは、notestockで公開設定になっていません。
08:15:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
以前ならば外国の図書館に出向かねばならなかったような写本がWeb上で閲覧できるようになり，19世紀までの印刷本がGoogle BooksやInternet Archiveその他で利用できるようになった結果，前世紀に出版された，おそらく小部数しか出なかったであろう高度に専門的な書物や未だ電子化されていない学術論文が一番アクセスしにくいという逆転現象が起きている．
08:25:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 08:24:20 総資産6マンの投稿
guniuni@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
08:27:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
SWIFT経由で不正送金されるやつ、ネットワークインフラにお金かけてない銀行を踏み台にするので、世界中の銀行がやっていかないと対処できないから厳しい
09:33:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
HEP Software Foundation https://hepsoftwarefoundation.org/
"The HEP Software Foundation facilitates cooperation and common efforts in High Energy Physics software and computing internationally."
09:33:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 09:32:03 Satoshi Kojima (小嶋智)の投稿
skoji@sandbox.skoji.jp
このアカウントは、notestockで公開設定になっていません。
09:33:31
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
09:58:59
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Thoughts on GCs | κeenのHappy Hacκing Blog
11:10:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Programming Language Foundations in Agda https://plfa.github.io/
Programming Language Foundations in Agda – Table of Contents
16:06:03
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
研究室に行ったらRIDDLE JOKER ゆずゼリーがお土産として配布されて「これ:don:で見たやつだ」になった
16:10:23
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
RIDDLE JOKERはえっちげだけどRIDDLE JOKER ゆずゼリーのパッケージは青少年のなんかにも配慮されており実際安心
17:52:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 17:43:04 しおりの投稿
kozue@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
21:50:04
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
複数の独立した実装からのフィードバックが仕様をより良くするのでブラウザの多様性は良いよ
21:50:49
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Clangの発展にGCCが刺激された面もあると思うよ
21:51:33
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
だからWindows, macOS, Linux以外も使いましょうね（にこにこ）
21:58:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
無限の資金を手に入れてPrestoのソースコードを購入してOSSとして公開したい
22:00:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:02:48
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
無限の資金を手に入れて声優ラジオ番組作りたいみたいな話を昔したけれど、もしかして関宮ひかげって実質それの具現化ではという気がしてきた
22:04:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:03:17 わおの投稿
nao@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:07:30
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:07:50
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:07:06 埼玉ギャル（仮）の投稿
sota_n@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
22:08:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:08:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
*BSD くらいで許されてほしい（Haiku OS と ReactOS は年に一回思い出したように仮想環境作るだけだけど許して
22:08:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:09:28
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:09:15 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:09:56
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
正直私はChromeOSそこまで関心がないのでネタです
22:10:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:10:51
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:11:17
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:12:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:11:12 ぐすくま@わかりみの投稿
guskma@abyss.fun
このアカウントは、notestockで公開設定になっていません。
22:12:53
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Ubuntu Phone系の精神はある意味PureOSに受け継がれた感がある（本当か？）のでLibrem 5を推していきましょう
22:13:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:11:19 しおりの投稿
kozue@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:14:01
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:12:23 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:14:10
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:12:50 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:14:43
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
スペック盛られまくった挙句OSインストールされてない状態で売られそう（？）
22:15:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:14:08 ぐすくま@わかりみの投稿
guskma@abyss.fun
このアカウントは、notestockで公開設定になっていません。
22:15:36
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
今FirefoxOSインストールバトルするって言いました？（？？？）
22:16:25
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
スマートフォンOSインストールバトルならSailfish OSですかねぇ
22:17:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:15:24 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:17:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:16:31 Giraffe Beerの投稿
giraffe_beer@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:17:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:17:14 きーすとの投稿
keasti@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:17:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:17:15 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:18:24
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:18:08 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:26:19
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
ChromeOSに関心がない話、今ある選択肢の中ではAndroidが好みなので #Pixel日本発売頼むJP なだけでもっとユーザーコントローラブルな選択肢が増えてきたらそちらに移行するのはありえるという私の立ち位置があって、ノートPCでは既にOSの選択肢が多いので別にChromeOSでなくとも良いという気持ちがある
22:28:57
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:27:36 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:29:00
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:30:54
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
国外にいるときしか使えそうにないのにLibrem 5を推しているのもそういう背景があって、Talos IIも同様なんですが、Talos IIは私がポンと買うには少し価格帯が上すぎる……
22:31:20
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:29:16 ほたの投稿
hota@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:32:09
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
任意のAlternate ModeとUSB PDに対応したスマートフォン作らされそうな気配がしてきた
22:33:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
DAC入りじゃないイヤホンジャックアダプターにも対応させられそう
22:36:55
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:36:08 ミミゲハカセ🎨の投稿
Immigration@pawoo.net
このアカウントは、notestockで公開設定になっていません。
22:37:47
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:24:30 えちるの投稿
0@mstdn.maud.io
このアカウントは、notestockで公開設定になっていません。
22:38:02
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 22:30:39 総資産6マンの投稿
guniuni@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
22:38:29
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
私は謎の勢力から一切資金提供を受けてないので安心してくださいね
22:40:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
大学と研究所からしか資金提供受けてないよ（学生だからね（それはそう））
22:43:14
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
基数を1年に1増やせば15歳以降の任意の年齢で17歳になれることが知られている[Ogino2018c]
22:43:41
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
22:45:37
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018aと2018bは「〜年夏公開」をいつまで公約違反せずに延期できるかに関する話ですね
22:46:27
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Masanori Ogino 𓀁 (@omasanori@mstdn.maud.io)
22:46:58
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
Masanori Ogino 𓀁 (@omasanori@mstdn.maud.io)
22:47:13
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
「年ではなく年度で考える」と「北半球ではなく南半球で考える」を組み合わせることで、「n年夏公開」をn+1年3月頃まで公約違反せずに延長できる手法が知られている。[Ogino2018a]
22:47:21
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
9月スタートの年度を考慮する場合は「n年はn年9月を含む年度を指す」により「n年夏公開」をn+1年8月まで延長できる手法が発見された[Ogino2018b]
22:49:44
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
つまり2019年8月は2018年夏であることが分かった
23:16:39
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
未公刊の資料を特権的に使ってるケースというのでふと思い出したが，1990年のOCT版ソポクレース（Lloyd-Jones, Wilson校訂）にはvan Paassenによるソポクレースへの推定修正収集を利用できた旨書いてあった（Preface, p. xv）．もうすぐ30年前になろうとするくらいだから流石に何らかの形で出版にたどり着いてるのではと思って調べるとどうも7巻本になるうちの第1巻が2002年にHakkert社から出ているらしい．
Paassen, L. van,(2002) A Repertory of Conjectures on Sophocles, 7 volumes, vol.1.
http://www.tte.nl/lukas/hakkert/book.php?ID=525&src=serie
23:17:15
Masanori Ogino 𓀁
@omasanori@mstdn.maud.io
2018-10-05 23:14:01 無宛@無の投稿
LwVe9@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
