User:Soimort
維基百科,自由的 encyclopedia
关于
我
|
|
| |||||||
|
|
| |||||||
我的立场
|
|
|
一大波吃货正在接近
|
|
| |||||||||
|
|
||||||||||
|
|
|
学术流
|
| ||||||||||
|
|
| |||||||||
|
|
| |||||||||
|
|
|
技术流
|
|||||||||
|
|||||||||
|
|
惊人的事实
|
|
| |||||||
|
|
更加惊人的事实
|
如何找到我
|
| |||||
|
|
|
「很少笑,吃全麥的麵包。」
我创建的条目
程序语言
更多信息 条目名称, 分类 ...
条目名称 | 分类 |
---|---|
Peter J. Landin(彼得·兰丁) | 计算机科学家 |
Per Martin-Löf(佩尔·马丁-洛夫) | 逻辑学家,数学家 |
HoTT(同伦类型论) | 数学基础 |
ACL2 | 证明辅助 |
Agda | 证明辅助,依赖类型,程序语言 |
F* | 证明辅助,依赖类型,程序语言 |
Idris | 依赖类型,程序语言 |
Isabelle | 证明辅助 |
Elixir | 程序语言 |
关闭
密码学
计算机软件
文学
电影
音乐
更多信息 条目名称, 分类 ...
条目名称 | 分类 | 风格/流派 | 国别 |
---|---|---|---|
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(德福考试) | 德语,考试 |
柳生心眼流 | 日本,武术 |
关闭