Notices by 7of9(0x70f9=28921) (7of9@qiitadon.com), page 43

おはどん。

久しぶりに基板修理をやろう。

#DS9

We were neck and neck right until the final exam.

ライバルとの競争で最終試験直前まで同じ程度だったとベシア。

関連して思い出したのは
- It's not until relatively recently that we recognize the value of the nature.
- It's been ages since we met last.
- a pain in the neck

#DS9

Year, I'm reading just about everything I can get my hands on.

ライバルが乗船するために前もって研究論文全てを読もうとするベシア。

関連して思い出したのは
- Before everything else.
- On one hand, .... On the other hand, ...
- head over heels

#DS9

That is, uh, if you still want me along.

一緒に旅行するのを断ったジェイクが、旅行に一緒に行くと言う場面。

関連して思い出したのは
- Putting that aside, ...
- I can live with that.
- all through the night,
- Burning the midnight oil?

Bon JoviからBon Joviが脱退。

#chinese 復習編

発音の復習
from 180613
- 飞机晚点了 Fēijī wǎndiǎnle
- 之后 Zhīhòu
- 眼瞅着 Yǎn chǒuzhe

#Markdown
#trap

- [x] (A)が実装されている部分

は

- xが実装されている部分
となる (Qiita, esa.io)。

Markdownのリンク書式が優先されるため。

あらゆるものに対して概念的な理解というか　「なぜそうなったのか」の部分というか　「その存在の論理的整合性」みたいなものを求めがち（理由はない・偶然そうなった、ならそれはそれで理由になりうる）

@nanoyatsu

概要です。

1. Matthias
数学者や論理学者は^をset抽象化に使った。
Churchは^を関数抽象化に使った。なぜなら、関数は特別なプロパティを持つsetsであるから。

2.
class抽象化のx^から由来。印刷のしやすさのため^をλに変えた。

3.
Churchはもともとx^.2x+1を使っていた。それは^x.2x+1になって、λx.2x+1になった。

@nanoyatsu

ラムダの記号の採用経緯(3つ)。

https://www.wisdomandwonder.com/link/3022/why-church-chose-lambda

#UI
#search

使用頻度によって順位が変わるUI。

例として30項目が毎回順位が変わると、その中から項目を探す時間がかかる。
使いたくないUIだ。

単純にアルファベットで並んでいる方が、探し物を見つけやすい。

#qiitadon

ハッシュタグ検索

77Toot以前は見えない?

#documentation
#search

2時間かけて定義を検索した情報。

今後はesa.ioで5秒で見つかるようにしておいた。

- 情報の保持者 (Aさん、Bさん、...)
- 情報の保持形式 (ワード, PDF, メール, esa.io, サーバー, 個人所有)

これらは選択肢が少ない方がいい。

- 情報の検索キーワード

こちらは選択肢が多い方がいい。

#EXCEL
#csv

csvファイルを読込み、csvファイルとして保存すると、形式が変わる。

行の後ろに",,,,,,"などが付く。

EXCEL2010移行でそうなっていたかと思われる。