意識の断絶と覚醒が交互にやってくる

This account is not set to public on notestock.

？

This account is not set to public on notestock.

ほ5ん™️T シャツ

This account is not set to public on notestock.

フィンランドの Fazer の Geisha チョコレートみたいなもんだろたぶん？

今朝はレッドブル飲んだ後にマクドナルドでアイスコーヒーとバーガー片手に作業していたのだが席の雑な設計で変な姿勢してたからなのか不味いアイスコーヒーをブラックで飲んだからなのか普通にカフェインなのかなにもわからんがとりあえず目は醒めた。

This account is not set to public on notestock.

労働を愛する！プロリアレタート！

知見ですね

やばくないよやばくないよ（ﾌﾙﾌﾙ）

@lo48576 geek_JP.UTF-8

だいぶ眠いのでこう，飲めば疲労がポンと飛ぶクスリとかないかな。

@babukaru 解決！

日本に父称もイタリアのゴッドファーザーのような仕切たりもないけれど，信長の信のような代々使われる漢字（通字）は父称っぽいし，偏諱（目上の人から諱のうち一字を貰い受けること。例えば今川義元の義は主君足利家の通字，義の字を受けるというかなりの名誉と家格を示す）はゴッドファーザーに近いよな。

自分の名前をロシア風にミドルネームいれると中々に面白い名前になるぞい（昔のロシアだと異邦人でもそれで名乗るのが正式だったらしいが

この名前の順序は正しい順番がわからんけれどそもそも正式な順などないという感じらしい。例えば朝廷への手紙なら源朝臣家康だろうし。

家康は強かなので源じゃなくて藤原の本姓名乗ったりする時もあって，建前で使い分けてた。

徳川家康って徳川次郎三郎源朝臣家康って名前ですからね。氏（本姓）は源，姓（かばね。氏族の階級を表わす古代の制度）は朝臣，名字が徳川で通称は次郎三郎，親しい人や目上の人しか使わない諱（忌み名，真名）が家康

父称姓しかないアイスランドや，元々そうだったけど民族の多様化で父称姓がミドルネーム化したロシアとか，各々の民族でそれぞれた血族を名前にどうエンコーディングするか多様性あって名前の文化は面白い。

日本の名字は，武士とか上流階級については氏（本姓）と名字でいい感じに階層構造があったけど維新の後ご破算になったし（そもそも氏族が源平橘藤に偏りすぎてた）残念といえば残念。

韓国とか名字が衝突しすぎてるし，アイスランドにはそもそも名字生まれなかったけどな。

名字を残すというよりはイエという概念を残すというやつな気がする。

This account is not set to public on notestock.

日本の伝統的イエ観からすると血族残すより家名を残すほうが大事らしいので

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

えっあっ，うんはい。（真顔）ってなった。

This account is not set to public on notestock.

なによ！なにかいいなさいよ！

This account is not set to public on notestock.

あっちはニンジャスレイヤーサーバーだけどこっちは家名スレイヤーサーバーってワケ？

> 断絶するけど

"家を継がない末代を捨てる山"というワードに強力なパワを感じる。

This account is not set to public on notestock.

@omasanori なんとか草子にありそう。あと，映画「デンデラ」を観そびれてたの思い出せた

This account is not set to public on notestock.

iPhone の"死の線"見えるし多分魔眼目覚めたな。線に触れてるとなんかキラキラしたガラスみたいなものがパラパラ落ちるんだけど多分気のせいよね。

なでしこから入るの完全に特異点でしょ。

R. M. Stallman の顔が大量に流れていった。

@EzoeRyou なるほど。

@EzoeRyou http://www.ext2fsd.com こういうドライバを Windows のほうに突っ込んでみるのはどうでしょ

リリカル☆Lisp はちゃんと別エンディングもみたけど完全に徒労だったなという謎の達成感と脱力感

何気に最後に Church encoding ぽいものまで出てくるリリカル☆Lisp さんじゃん。

This account is not set to public on notestock.

残念すぎる

This account is not set to public on notestock.

母校にも器用貧乏学科みたいなのあった

This account is not set to public on notestock.

えっマジ……大学しょっぱなから SICP やらせてるの（かつての）京都大学しか知らないんだけど……他にもあるんかな……。

This account is not set to public on notestock.

それ誰か貰いにってモザイク掛けてこのサイトのどっかに貼っておきましょうよ！！！ > 独身証明書

This account is not set to public on notestock.

This account is not set to public on notestock.

違うそうじゃない

SICP で採用されてる Scheme じゃないからダメだった説

@tSU_RooT かなしいなあ……。

This account is not set to public on notestock.

@tSU_RooT あー，なるほど，そういうのがあるか。あんま何も考えずに機械的に仕事として処理しちゃったんかなあ。

@tSU_RooT うーん，それならよくわからんなあ。個人的に採点するのなら，[要出典] と付けたくなるのだけれども，参考にしたという事項それそのものがとやかく言われるのは本当謎っぽい。

以前にもどこかで書いた気がするけど，高校の理系コースとかだったら IMRAD 構造の文章を書かせる授業とかやっても良いのではという気がしている。でもそれはアカデミアに寄りすぎではという批判も出来そうなので難しい。

@tSU_RooT レポートである以上，引用の形式が雑だったら怒られも仕方ないかなという気持ちがある。

こう，実装力を，とか，実戦力ガーとか言うのに，大学が悪いとか大学でもっと実務にスキルポイント振るような教育方針にしましたーみたいな記事とか見ると，「専門学校は……？というか，高専忘れてね……？」ってなる，もうすこし高専に金と人つっこんでもいいんでは……。

@tSU_RooT リンク行かなくてもちゃんとしたフォーマットで引用されてれば RFC って文字列が目に入るし，それで RFC 知らんのんだったらその院生さんは結構まあ，うん……ってなっちゃうんではなかろうか……。

京都大学は説得交渉に失敗したのか IBM メインフレームが入って，その次の年に大阪大学は交渉が巧い具合に進んで PDP-11 と UNIX が導入された，とか（いまでも 大阪大学の ftp サーバに UNIX のテープのアーカイブイメージが public で転がってたはず）

@tadsan あるサンプルの一例なので大学全般じゃなくてかなり偏った事例ですが，一切触らない（けど研究室で Git サーバ建てて実験プログラムや論文を管理されてたりした，これは研究室毎に文化が違うから触らずに卒業する人もけっこう居るだろうなあ。）

TSS の時代の，各大学の導入のお話の悲喜交々は日本でも海外でもいろいろ面白い話が転がってる。

最近の工学部だと情報系じゃなくても C か FORTRAN か MATLAB か R かのどれかひとつは触らさせられそうだなあ。TSS の時代だと情報系でも色々と事情がこう，違うよな……。

This account is not set to public on notestock.

Wikipedia とかを引いてたら怒られても仕方ないけど，RFC とか IEEE とかの規格表なり，開発元のスペックシートなり，論文なりはちゃんとしたフォーマットで引用できてるならむしろ追加ポイントって感じよな。

その院生大丈夫なのかな，論文とかも書けなくないかな……。

This account is not set to public on notestock.

IEEE 754 で言うと，最近知ってへーってなったペーパーはこれですね >> Printing Floating-Point Numbers Quickly and Accurately with Integers http://www.cs.tufts.edu/~nr/cs257/archive/florian-loitsch/printf.pdf

「――世の中には二つの人間が居る。IEEE 754 の規格書を読む人間と，存在すら知らない人間だ。」

みんなが Borland C++ とか Visual Studio を使わされるなか USB メモリに Cygwin つっこんでた時期があった（本来固定のドライブにインストールされる前提の Cygwin を portable にするの bat ファイルいろろやったりして面倒だった）ここらへんにその試行錯誤の残滓がある → http://orumin.blogspot.jp/2012/05/cygwin-linuxwindows-gccvimusb.html

This account is not set to public on notestock.

This account is not set to public on notestock.

This account is not set to public on notestock.

あと大学といってもピンキリだから大学はーと言い切れないところがあってアレ。自分がバイト先で合う同じぐらいの歳だったり年下だったりの学生はみんなめっちゃ強かったりするので。まあバイアスがすごいかかってると思うのでダメな人は本当ダメだと思うし，何も言えないんですけど。

とはいえ，じゃあプログラミング出来なくてもいいのかというと，結局アイディアの実証のためにもコーディングがめっちゃ強い方が良いに決ってるし，トップカンファレンスに論文通せる人はだいたい実装力も強いので，プログラミング出来ないとダメだとは思うんですけれどもね。

この記事，須藤さんが文脈自由文法とかハミング距離とか，概念や理論までやって実装まで落とせない，という事をおっしゃってて，これは（「だから大学にプログラミングできるやつなんか―」になるのかな）と思ったけれども，でもそういう実装技術に左右されない基本の科学的な理論を教授してこその大学の本懐というところもあるんじゃないの。実装だけバリバリできたって大学的には研究が主なわけで。

ぶっちゃけ別に Visual Studio でやらせるとかでもいいわけで。

特定のツールの使い方を教えるのは基本的に大学の使命ではないからなあ。

添い寝モードってなんだ，アラームじゃないのかよ，しかも新規録り下し 200 以上って門脇さん働かせすぎではないのか，これはなんかヤバげ

これ完全にヤバいやつや https://twitter.com/silverlink2007/status/860405580422201344

IPv6 を家に通したとき，一瞬 samba を外に向けたら普通に外から samba で共有できたときは，「これが，end-to-end 通信……！本来の Internet Protocol……！」って少し感動したよ。（直ぐ様閉じた）

smb.conf は何回か書いたけど未だにこれでいいのかわからんってなる（どうせ LAN にしか出さんしいっかーって妥協したりもする。）

BibLaTeX だと個別のカスタマイズがしやすくて BibTeX もう使いたくないな。

にゃーん

This account is not set to public on notestock.

自分の周囲や観測範囲にいる人（ボードゲームを頻繁にやってる知り合い）だとわりと枯山水好む人けっこう居るなあ。単に相性では。

@babukaru wireshark で確認だ

@tSU_RooT うーん，わりと自分の観測範囲だときっちり出来てる人多かったりするし，大学の講義も捨てたものではないと思うんですよね。講義の質がゴミのところもありますけれど。

通信工学だと情報科学とかの理学と工学半々の奴よりは工学部の電子系の学科とかに近いし，電子回路とか情報理論とか伝送路の話はやっててもシステムとかデータベースとか数値計算とかアルゴリズムとかはそこまでがっつりやらなさそう。

完全に勉強のために！と思って本買うのって四年ぐらい前に数学系の演習問題のやつを二冊くらい買ったのと，六年ぐらい前に情報技術者試験の選択問題のために一応参考書を買ったぐらいな気がする。

This account is not set to public on notestock.

これは主語が大変大きく，国立大学といってもサンプル数が十数なので，実際はやってない所も多数あるかもしれない。

すげぃ量だ。

わりと国立大学の情報科学科とか情報工学科って，二年次ぐらいにシェル作ったり TCP/IP の簡単な fork(2) か select(2) 使ったチャットサーバ作ったりするよね。あそこらへんをちゃんと修めてるかどうかって一つの閾値な気がする。

マルチスレッドだと OpenMP というのがあり，対応した C 言語コンパイラだと for 文の前の行に #pragma omp parallel for とかって書いておくだけでマルチスレッドになったりする（安易にどこにでもこれを付けると変数の書き込み競合とかでどエラいことになる）

@babukaru その変わり，子プロセスの計算結果を，共有メモリや pipe(2) で親プロセスに送信しないと，計算結果が誰にもわからないまま，計算結果を抱えて終了しちゃって，意味がないってなっちゃう。

@babukaru プロセスで分裂した後でさらにスレッドを使う，なんてこともで出来るけどわりと人間の頭だとこんがらがってしまって大変なことになる

@babukaru プロセスはコピーされた別のメモリ空間なので変数を共有しないけど，スレッドはメモリ空間を共有したまま同時に何かが実行されるので，変数が片方が書き換えたらもう片方から見ても変更されてるように見えるという違いがある。

@babukaru あとは，execve(2) をあえて使わないことで，マルチプロセスの並列プログラムを作れるので，古い Apache HTTP Server なんかは HTTP リクエストを検知したら fork(2) で分裂して処理するという形の並列プログラムになってますね。（ちなみにこれは最近のコンピュータだと効率が悪くなってしまってて，nginx は fork によるマルチプロセスではなくマルチスレッドを使ってたので話題になったことがある。Apache も後でマルチスレッド方式に対応したという経緯がある。）

This account is not set to public on notestock.

@babukaru （まあ，本当に毎回プログラムを何か起動する度に fork(2) でメモリを全部コピーしてると，とんでもないノロマさんになっちゃうので，全部コピーしてるフリをして実際には何もコピーしないとか，色々手練手管が使われて OS が実装されていますが，そこらへんは割愛で）

@babukaru ちなみに，fork(2) した直後に，execve(2) システムコールを使って，別のプログラムを子プロセスが起動すると，親のコピーから別のプログラムへと変身しちゃいます。これが，Bash とかのシェルが何かのコマンドを実行したときにプログラムが動作する正体ですね。

@babukaru で，fork(2) なのですが，あるプロセスが fork(2) を発行すると，そのプロセスのメモリ空間を頭から爪先までそっくりそのままコピーして別のプロセスを作ってしまいます。完全な分身ですが，UNIX のプロセス管理の環境上，fork(2) の発行元が親プロセス，新しく出来たコピーが子プロセスと呼ばれます。基本的には，親プロセスが死んだら子プロセスも巻き添えで死にます。あと，子プロセスが終了しても，そのあとの後処理を親プロセスがサボったまま終了しちゃうと，OS の内部情報に子プロセスの情報がいつまでも残り続けて亡霊化して，誰も解放できなくなります。いわゆるゾンビプロセスっす。

@babukaru UNIX のプログラムは，メモリを仮想化した概念であるプロセスを中心に動きます。これは，物理的には 0 番地から 0xffff... 番地（これは物理メモリの最大値バイトだと思って）しか番地がないメモリだけど，ひとつひとつのプロセスが，仮想的に 0 番地から開始されるメモリの空間を確保することで，どのプログラムも難しいアドレスの計算をそこまでしなくても 0 番地から始まってる前提で動作できるというわけ。その仮想メモリを作るのは OS の役割だけれども。

まあでも業績が空っぽなのは完全に自業自得なので何も言えないですね……。

業績欄とか自己評価だけ空白ばっかになって哀しくなってきた。

@akahana 何かやったらもう進んだことにしよう

@babukaru なるほどね

@akahana 自分のペースで一歩でも前に進めていること自体を歓ぼう

@akahana 上も下も無限に存在するから，めっちゃ頑張って何かしたら基礎知識入手でも環境構築でもその度に無邪気に喜んで俺天才では？みたいにほざいといたらそれで大体オッケーだしハッピーじゃない？

Amazon と Google の DC にまとめてミサイル落とすとインターネットは死なないが Web は死ぬ。

This account is not set to public on notestock.

牛若丸とかがオーケーだったのだからあれは愚問でしたね，考えなおすと。

Fate/Giand Order でパッションリップはそのままで審査通らなくてメルトリリスが OK な意味がわからない。パッションリップの上衣追加は審査関係なかったりするのかな。

@akahana AUR につっこまれてるの使ってるからどっちだか知らないなそういえば。

@akahana 卒業研究とかどうせ基礎知識手に入れるまでだから別にそれで大丈夫じゃん？

@omasanori （姨捨山）

This account is not set to public on notestock.

わかる〜

This account is not set to public on notestock.

This account is not set to public on notestock.

Twitter 落ちたのかよ。Twitter 落ちた！ってツイートしたい人の救いがあってよかったね，きっと悪化してるって言うけれど。

バイト先の OpenBSD やってる人とかわりと理解してそうですごいんだけどよくよく考えたらハッカーであって常人ではない可能性は高い。（あれくらい色々できるようになりたい

@babukaru システムで共通で読む conkyrc とかの最後で閉じわすれとかあるんちゃう（rc ファイルで，/etc/*rc 読んでから dotfile 読むとかよくある挙動だし

BibLaTeX での書式カスタマイズに少し慣れた