Masanori Ogino ๐ [email protected]
ใใใ
PSI Solver: Exact Inference for Probabilistic Programs
https://psisolver.org/
Masanori Ogino ๐ reblogged at 4 years ago
Ushitora Anqou [email protected]
็ขบ็ใๆฑใใใญใฐใฉใ ใ้ใซๆธใใจใๆ็ต็ใซๅพใใใ็ขบ็ๅคๆฐใฎ็ขบ็ๅฏๅบฆ้ขๆฐใ explicit ใซๅใใฆใใใ
Masanori Ogino ๐ reblogged at 4 years ago
Ushitora Anqou [email protected]
formal verification of probabilistic programming languages ใซ้ขใใฆ่จใใจ๏ผ๏ผ๏ผไปฅๅใฎ CAV ใซๅบใฆใ PSI ใฃใฆใใคใใใฐใใใฆใใฐใผใฃใฆ่จใฃใฆใพใใใใใชใใ
Masanori Ogino ๐ [email protected]
ใใชใน๏ผใใชในใใใใฃใธใฟใซๅ่ทฏ่จญ่จใจใณใณใใฅใผใฟใขใผใญใใฏใใฃRISC-V็๏ผๆ ชๅผไผ็คพใจในใขใคใใผใขใฏใปใน๏ผใ็ฟป่จณ็ใฎใใผใธ | Amano, Kondo Lab
https://www.am.ics.keio.ac.jp/wp/risc-v/
Masanori Ogino ๐ [email protected]
ไธๆนใๅฏๅฒณใซไฝฟใใใฆใใใฎใจๅใCPUใๆญ่ผใใๅฏๅฃซ้ใฎใตใผใใผใฏ1ๅฐๅใฎๆฏๆใใง็ขบๅฎใซ1ๅฐๅฑใ
Masanori Ogino ๐ reblogged at 4 years ago
ใดใ pikepikeid
ๅคฉไบใใชใใใใฌใใฃใงใใใจใใใๆขใๅฟ ่ฆใใใใใๅฏๅฒณใฌใใฃใณใณใ็ก็ใใใใ
Masanori Ogino ๐ [email protected]
RISC-V Days Tokyo 2022 Spring [ใใชใน๏ผใใชในใใใฃใธใฟใซ่จญ่จใจใณใณใใฅใผใฟใขใผใญใใฏใใฃRISC-V็ใฎใคใณใใฏใ] ้ดๆจ่ฒข/ๅฝ็ซๆๆ็็ ็ฉถๆ, ๅคฉ้่ฑๆด/ๆ
ถๆ็พฉๅกพๅคงๅญฆ
https://youtu.be/XZqgJ3ztn78
Masanori Ogino ๐ reblogged at 4 years ago
Nijntje(ใใใ) [email protected]
ใใใผ็ฅญ 2022 ๅค ไธๅจๅนดใ
ๆฅ็จ:6/18,19,25
้ๅ ดๆ้:19:40
๐ใใผ็ฅญ 2022 ๅค ไธๅจๅนด้ๅฌ๐
45ๅใฎBeatSaber้
ไฟก่
ใใ็ดนไป
็ๆงใฎๅฟๆดใใใใใผ็ฅญใ้ใซไธๅจๅนดโ๏ธ
ไปๅใๆงใ
ใชใใฌใคในใฟใคใซใใ่ฆง้ ใใใฎใง
ๆฏ้ใๆฅๅ ดใใ ใใโผ๏ธ
https://t.co/14ZHxQRuad
Masanori Ogino ๐ reblogged at 4 years ago
Nijntje(ใใใ) [email protected]
ใใ
ใใใใ(@kyuizu )ใไธปๅฌใใใฆใใ้ณๆฅฝใฌใผใใซใฎๆฒใฎไฝฟ็จ่จฑๅฏใใใใ ใใฆBeatSaberใฎ่ญ้ขใๅใใฆไฝใฃใใฎใ็บ่กจใใพใ๏ผ
ๆฅ้ทใใ(@shunrai3377 )ใซๆใใฆใใใ ใใใใใใใคใฉในใใฎใใ ใไฝฟใฃใฆใใใใจMastodonใฎใ็ธใใใฃใใใงๅฎ็พใงใใๆดใ่ๅฐใงใใฎใงใใฒๅฟๆดใใฆใใใ ใใใๅฌใใใงใ
Masanori Ogino ๐ reblogged at 4 years ago
Nijntje(ใใใ) [email protected]
ๅๆๆฅ20ๆๅใใใใใ๏ผ็งใฎBeatSaber้ ไฟกใฎๆดใ่ๅฐใใใใฎใง่ฏใใฃใใ่ฆใฆใใ ใใใช
Masanori Ogino ๐ reblogged at 4 years ago
ใใพใ [email protected]
ใฟใกใฎใใณใใใฃใขใงใใฐใฟใใใใซใๆใใใในใฑใใ่ฒผใฃใฆใใใพใใญใใ
Masanori Ogino ๐ reblogged at 4 years ago
ๅงซๅๆจใ๐บ๐ฆโฅ๐ท๐บๅ่ขดใปใณใ ๆงๆๅก [email protected]
ใใใใใ ใฐใฉใใผใทใงใณใใใใงใใซใใใซใ
Masanori Ogino ๐ reblogged at 4 years ago
ใใพใ [email protected]
suzuriใงTใทใฃใใปใผใซไธญใงใใ
ใชใใใ ใใญใใใใใก ใใณใใใ็ใฆใใใLGTMใใทใฃใใ
ใใชใใใใใใใจใตใใใใใทใฃใใชใฉใใๅฎใใชใฃใฆใใใพใใ
ใใฎๆฉไผใซใใฒใ
https://suzuri.jp/yamako_love_cat/7872603/t-shirt/s/melon
https://suzuri.jp/yamako_love_cat/9278573/t-shirt/s/oatmeal
Masanori Ogino ๐ reblogged at 4 years ago
ใใพใ [email protected]
ใใพใๅฑBASEๅบใใชใผใใณใใพใใใ
https://shop.yamako-ya.com/
็พๅจใฏใใชใใใ ใใญใใใใใกใ็ดใฎๆฌใใใใพใใ
ใใใใๅขใใใฆใใใพใใฎใงใใใใใ้กใใใพใ๏ผ
Masanori Ogino ๐ [email protected]
ๅใใฆๅฎๅ จๅ็พใใใซใฏไธๅ็ก้งใชใๅใใผใใๅฟ ่ฆใชๅๆฐใ ใ้ใใใจใใฆ9ไธๅๅผฑใใใใซใใปใซใใคใโฆโฆใจๆใฃใใใใฉใใขใคใใซใในใฟใผใทใณใใฌใฉใฌใผใซใบในใฟใผใฉใคใในใใผใธใงใใใจใใใฎๅคฉไบ1ๅๅๅผฑใจใใใใจใใคใพใๆฏๆใฎใใใซ1ใใใใฅใขๅฏๅฒณๅใฎใฌใทใฃใๅใใไบบใ็บ็ใใฆใใใจใใใใจใซๆฐไปใใฆใใพใฃใ
Masanori Ogino ๐ reblogged at 4 years ago
ใทใฃใใณ๐ต๐ [email protected]
ใฎใฅใผใใฅใณ
https://www.pixiv.net/artworks/91654883
2015/12/05
Masanori Ogino ๐ reblogged at 4 years ago
Masanori Ogino ๐ reblogged at 4 years ago
ใดใ pikepikeid
ในใใณใณใๅฏๅฒณใใใซใใปใซใใคใฎใใใใฅใขใซใ216ๅ้ใใใฐ่จ็ฎๆฉ432ๅฐใฎๅทจๅคงใทในใใ ใๅฎๅ จๅ็พ๏ผ1/2 ใใผใธ๏ผ - ใญใจใใผ https://nlab.itmedia.co.jp/nl/articles/2206/16/news022.html