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(德福考试) | 德语,考试 |
柳生心眼流 | 日本,武术 |
待撰写或扩充的条目列表
[编辑]关于
[编辑]我
[编辑]
|
|
| |||||||
|
|
| |||||||
我的立场
[编辑]
|
|
|
一大波吃货正在接近
[编辑]
|
|
| ||||||
|
|
|||||||
|
|
|
学术流
[编辑]
|
| |||||||
|
|
| ||||||
|
|
| ||||||
|
|
|
技术流
[编辑]
|
||||||
|
||||||
|
|
惊人的事实
[编辑]
|
|
| ||||||
|
|
更加惊人的事实
[编辑]
|
如何找到我
[编辑]
|
|
| ||||||
|
分类:
- 不是維基人
- 不接受維基榮譽的維基人
- 不接受維基獎勵的維基人
- 不接受維基星章的維基人
- 不想當管理員的維基人
- 支持無政府主義的維基人
- 自認是無性戀的維基人
- 信奉飛行麵條怪物的維基人
- 信仰飞天意面神教的维基人
- 黑客帝国中的维基人
- 喜欢王尔德小说的维基人
- 喜歡北歐神話的維基人
- 喜歡X JAPAN的維基人
- 欧洲维基人
- 反對核武的維基人
- 喜欢烹饪的维基人
- 喜歡吃意大利麵的維基人
- 喜歡吃小籠包的維基人
- 喜欢吃辣椒的维基人
- 喜欢吃火锅的维基人
- 喜歡吃過橋米線的維基人
- 喜歡吃咖哩的維基人
- 喜歡吃日式咖哩飯的維基人
- 喜歡吃菠蘿包的維基人
- 懂得數學歸納法的維基人
- 對語言學感興趣的維基人
- 喜歡學習語言的維基人
- 喜欢生物学的维基人
- 认为生命是个奇迹的维基人
- 喜欢化学的维基人
- 背誦化學元素序列的維基人
- 支持进化论的维基人
- Arch Linux 使用者
- GNOME 使用者
- Chromium 使用者
- Emacs 使用者
- 自由软件使用者
- C++-0 使用者
- 维基程序员
- 使用索尼数码相机的维基人
- 使用諾基亞產品的維基人
- 使用山寨手机的维基人
- 怪胎維基人
- 喜歡假面騎士OOO的維基人
- 维基睡教徒
- 晝夜不分的維基人
- 維基外星人
- 彗星维基人
- 實驗品維基人
- 網誌使用者
- GitHub 使用者
- Tumblr 使用者
- Twitter 使用者
- 豆瓣使用者
- 瀏覽百度貼吧的維基人
- 厭惡新浪微博的維基人