|
|
「很少笑,吃全麥的麵包。」
我創建的條目
程序語言
條目名稱 | 分類 |
---|---|
Peter J. Landin(彼得·蘭丁) | 計算機科學家 |
Per Martin-Löf(佩爾·馬丁-洛夫) | 邏輯學家,數學家 |
HoTT(同倫類型論) | 數學基礎 |
ACL2 | 證明輔助 |
Agda | 證明輔助,依賴類型,程序語言 |
F* | 證明輔助,依賴類型,程序語言 |
Idris | 依賴類型,程序語言 |
Isabelle | 證明輔助 |
Elixir | 程序語言 |
密碼學
條目名稱 | 分類 |
---|---|
雪崩效應 (密碼學) | |
長度擴展攻擊 |
計算機軟件
條目名稱 | 分類 |
---|---|
GNU TeXmacs | 文本編輯器,科技排版 |
SciPy | 科學計算 |
文學
條目名稱 | 分類 | 國別 |
---|---|---|
遠藤周作(日語:遠藤周作) | 日本戰後文學 | 日本 |
電影
條目名稱 | 分類 |
---|---|
堤 (1962年電影)(法語:La Jetée) | 實驗電影 |
受生(英語:Begotten) | 實驗電影 |
音樂
條目名稱 | 分類 | 風格/流派 | 國別 |
---|---|---|---|
Current 93 | 樂隊 | 實驗音樂,新民謠 | 英國 |
Estatic Fear | 樂隊 | 交響金屬,厄運金屬,民謠金屬,哥特金屬 | 奧地利 |
Falkenbach | 樂隊 | 維京金屬,民謠金屬,黑金屬 | 德國 |
Lake of Tears(淚湖) | 樂隊 | 厄運金屬,哥特金屬,前衛金屬 | 瑞典 |
HARUKA與MIYUKI(日語:ハルカトミユキ) | 樂隊 | 民謠搖滾 | 日本 |
岡林信康(日語:岡林信康) | 歌手 | 民謠搖滾 | 日本 |
新德意志死亡藝術(德語:Neue Deutsche Todeskunst) | 流派 | 德國 | |
新民謠(英語:Neofolk) | 流派 | 英國 |
48系相關
條目名稱 | 分類 | 備註 |
---|---|---|
谷口惠(日語:谷口めぐ) | AKB48成員 | |
大西桃香(日語:大西桃香) | AKB48成員 | |
磯原杏華(日語:磯原杏華) | 原SKE48成員 | |
SKE48 炸蝦商!(日語:SKE48 エビショー!) | 電視節目 | |
SKE48 炸蝦賭場!(日語:SKE48 エビカルチョ!) | 電視節目 | |
APINACA | 一種學名為AKB48的激動劑。 |
其它
條目名稱 | 分類 |
---|---|
Google Code Jam | 算法,競賽 |
iGEM | 合成生物學,競賽 |
Pon和Zi | 流行文化,卡通 |
TestDaF(德福考試) | 德語,考試 |
柳生心眼流 | 日本,武術 |
待撰寫或擴充的條目列表
關於
我
|
|
| |||||||
|
|
| |||||||
我的立場
|
|
|
一大波吃貨正在接近
|
|
| ||||||
|
|
|||||||
|
|
|
學術流
|
| |||||||
|
|
| ||||||
|
|
| ||||||
|
|
|
技術流
|
||||||
|
||||||
|
|
驚人的事實
|
|
| ||||||
|
|
更加驚人的事實
|
如何找到我
|
|
| ||||||
|