濑川亮

相关

• 亚太地区亚太地区，全称为亚洲及太平洋地区，缩写为APAC，是西太平洋地区周边国家包括岛屿的总称。亚太地区在狭义上，是指东亚、东南亚等太平洋西岸的亚洲地区、大洋洲、以及太平洋上的各岛
• 直觉类型论直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
• 亚洲新湾区亚洲新湾区（英语译名：Asia New Bay Area）是台湾高雄市的新兴中心商业区，位于高雄多功能经贸园区的核心区。亚洲新湾区是高雄产业转型最重大的建设，现在朝着港市合作方向进行，目标
• 外气层散逸层（英语：Exosphere），亦称外气层，是地球大气层的最外层，位于热层的上方，其顶界可被视作整个大气层的上界。散逸层大气的温度极高，因此空气粒子运动很快。又因其离地心较远，受地球
• 埔里盆地群埔里盆地群是台湾位于南投县中央地带分布着大小不等的数十座盆地，其中以埔里盆地为埔里盆地群是面积最大，故以此命名。埔里盆地群的分布，除了埔里、草湳两座盆地是在埔里境内，还
• 南汉广东地区历史南汉（917年－971年）是五代十国时期的地方政权之一，位于现广东、广西、海南三省及越南北部（后失）。971年为北宋所灭。唐朝末年，刘谦在岭南的封州（今广东封开）任刺史，拥兵过
• 内盖夫 (以色列)内盖夫（英语：Negev；希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova",
• 鼠党鼠党（英语：Rat Pack），由一群美国电影演员形成的非正式团体，其领袖为亨弗莱·鲍嘉。这个名词在1960年代中期，被新闻媒体及公众广泛使用。在亨弗莱·鲍嘉于1957年过世后，其成员内容也
• 超粒方超粒方，本名邱亦淳，台北板桥人，台湾YouTuber，交通大学外文肄业。超粒方这个名字是他喜欢克里斯多福·诺兰的《星际效应》其中一幕四维空间立方体为灵感命名的。超粒方于2015年经
• 彼得斯堡 (西维吉尼亚州)彼得斯堡（英语：Petersburg）是一个美国城市，位于西维吉尼亚州格兰特县。根据2010年的人口普查，当地人口为2,467人。彼得斯堡位于38°59′36″N 79°7′36″W / 38.99333°N 79.126