|
|
“很少笑，吃全麦的面包。”
我创建的条目
程序语言
| 条目名称 | 分类 |
|---|---|
| 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（德福考试） | 德语，考试 |
| 柳生心眼流 | 日本，武术 |
待撰写或扩充的条目列表
关于
我
|
|
| |||||||
|
|
| |||||||
我的立场
|
|
|
.svg){kind=small}
一大波吃货正在接近
|
|
| ||||||
|
|
|||||||
|
|
|
.jpg){kind=small}
学术流
|
| |||||||
|
|
| ||||||
|
|
| ||||||
|
|
|
技术流
|
||||||
|
||||||
|
|
.svg){kind=logo}
惊人的事实
|
|
| |||||||
|
|
|
更加惊人的事实
|
如何找到我
|
|
| ||||||
|
