User:Soimort
|
|
「很少笑,吃全麥的麵包。」
我创建的条目
[编辑]程序语言
[编辑]条目名称 | 分类 |
---|---|
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(德福考试) | 德语,考试 |
柳生心眼流 | 日本,武术 |
待撰写或扩充的条目列表
[编辑]关于
[编辑]我
[编辑]
|
|
| |||||||
|
|
| |||||||
我的立场
[编辑]
|
|
|
一大波吃货正在接近
[编辑]
|
|
| ||||||
|
|
|||||||
|
|
|
学术流
[编辑]
|
| |||||||
|
|
| ||||||
|
|
| ||||||
|
|
|
技术流
[编辑]
|
||||||
|
||||||
|
|
惊人的事实
[编辑]
|
|
| ||||||
|
|
更加惊人的事实
[编辑]
|
如何找到我
[编辑]
|
|
| ||||||
|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.