用户: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 使用者
- 豆瓣使用者
- 浏览百度贴吧的维基人
- 厌恶新浪微博的维基人