Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

LibreSSLใซDTLS 1.2ใŒๅฎŸ่ฃ…ใ•ใ‚ŒใŸ๏ผ

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

Guile่งฃ่ชฌๆœฌใŠใ‚‚ใ—ใ‚ใใ†ใชๆฐ—ใŒใ—ใฆใใŸ

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ“ใ‚ŒHPEใƒกใƒณใƒ‰ใใ•ใƒใ‚คใƒณใƒˆ

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใ‚ใฃใใƒ๏ผ ่ถ…ๅŒไบบ็ฅญ3/28ใƒฉ08 akkiesoft@social.mikutter.hachune.net

ใ‚ตใƒผใƒใƒผใฎใƒ•ใ‚กใƒผใƒ ใƒกใƒณใƒ†ใฎใ‚„ใคใ‚’้›‘ใซUSBใƒกใƒขใƒชใซๆ›ธใ„ใŸใ‚‰่ตทๅ‹•ใ—ใชใใฆใ€ใŠใ„ใŠใ„ใพใ•ใ‹DVD็„ผใใ‚’่ฆๆฑ‚ใ™ใ‚‹ใฎใ‹ใ„๏ผŸใจใชใฃใŸใ€‚ๅคšๅˆ†้›‘ใ‚ณใƒ”ใƒผใงใฏใƒ€ใƒกใงใ€HP USK key utilityใŒๅฟ…่ฆใจๆ€ใ‚ใ‚Œใ‚‹ใ€‚

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใฒใ สฒแต– highunder@mstdn.jp

Oxygen XML ใ‚ขใ‚ซใƒ‡ใƒŸใƒƒใ‚ฏ็‰ˆใงใ‚‚1ไธ‡่ถ…ใˆใ‹ใ

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago
Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ๅ‚ๅดŽ sakazakinchan@pawoo.net

ๆฅŠ่ฒดๅฆƒ

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

็พ่กŒ๏ผˆใƒใƒผใ‚ธใƒงใƒณ2.0ไปฅ้™๏ผ‰ใฎGNU Guileใฏใ‚ณใƒณใƒ‘ใ‚คใƒฉใฎๆ•™็ง‘ๆ›ธใง้กŒๆใซใงใใ‚‹ใ‚“ใ˜ใ‚ƒใชใ„ใ‹ใจใ„ใ†ใƒฌใƒ™ใƒซใง็œŸ้ข็›ฎใชใคใใ‚Šใซใชใฃใฆใ„ใ‚‹ใ€‚่จ€่ชžใƒ•ใƒญใƒณใƒˆใ‚จใƒณใƒ‰โ†’ๆœจๆง‹้€ ใฎไธญ้–“่จ€่ชžโ†’CPSๅค‰ๆ›โ†’ใƒใ‚คใƒˆใ‚ณใƒผใƒ‰ใ€‚

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ•ใฃใจ่ฆ‹ใฆใฟใŸใ‘ใ‚Œใฉใ€'()ใ€nilใ€trueใ€false๏ผˆใจunspecifiedใจundefinedใจeof๏ผ‰ใซๅˆฅใ€…ใฎๅณๅ€คใŒๅ‰ฒใ‚Šใ‚ใฆใ‚‰ใ‚Œใฆใ„ใฆใ€ใ‚ณใƒณใƒ‘ใ‚คใƒฉใŒใพใจใ‚‚ใชใ‚‰nilใฎๅญ˜ๅœจใงfixnumใฎๆฏ”่ผƒๅ‘ฝไปคใฒใจใคๅˆ†ใ—ใ‹ๅค‰ใ‚ใ‚‰ใชใ„ใ€ใฏใšใ€‚ใ‚ˆใปใฉใฎใ“ใจใŒใชใ„้™ใ‚Šไป–ใฎๆ‰€ใซๆœ€้ฉๅŒ–ใฎไฝ™ๅœฐใ‚’่ฆ‹ใคใ‘ใŸๆ–นใŒใƒชใ‚ฟใƒผใƒณใŒๅคงใใใ†ใ€‚

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

`# nil` ใŒใชใ‘ใ‚Œใฐไธ่ฆใชๅˆ†ๅฒใŒๅคง้‡ใซ็™บ็”Ÿใ—ใฆใ„ใ‚‹็–‘ๆƒ‘โ€ฆโ€ฆใ€‚

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

FIXME remove this abstraction ใฃใฆใ‚ใ‚‹ใ—ใ‚„ใฃใฑใ€nil ใฏไฝฟใ‚ใชใ„ๆ–นใŒใ‚ˆใ•ใใ†ใ€‚ใงใ‚‚ใฉใ†ใ‚„ใฃใฆ remove ใ™ใ‚‹ใ‚“ใ โ€ฆโ€ฆใ€‚
git.savannah.gnu.org/cgit/guil

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

Guile ใฃใฆใพใ  `#nil` ใ‚ใ‚‹ใ‚“ใ โ€ฆโ€ฆใ€‚ACL2 ใฎใƒ—ใƒญใ‚ฐใƒฉใƒ ใ‚’ Guile ใง่ชญใ‚€ใฎใซไฝฟใˆใใ†ใ ใ‘ใฉใ‚ใ‚“ใพใ‚Šไฝฟใ„ใŸใใชใ„ๆฐ—ๆŒใกใŒใ‚ใ‚‹ใ€‚

```
scheme@(guile-user)> #nil
$1 = #nil
scheme@(guile-user)> (null? #nil)
$2 = #t
scheme@(guile-user)> (if #nil 1 2)
$3 = 2
scheme@(guile-user)>
```

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

Guile ใŒใฉใ‚Œใใ‚‰ใ„ `# nil` ใ‚’ใ‚ตใƒใƒผใƒˆใ—็ถšใ‘ใ‚‹ใคใ‚‚ใ‚ŠใŒใ‚ใ‚‹ใฎใ‹่ชฟในใ‚‹ใ‹โ€ฆโ€ฆใ€‚`# nil` ใŒๅญ˜ๅœจใ™ใ‚‹ใ›ใ„ใง Guile ใฎๆ€ง่ƒฝใซ็›ธๅฝ“ใชใƒ€ใƒกใƒผใ‚ธใ‚’ไธŽใˆใฆใ„ใ‚‹ใ‚“ใ˜ใ‚ƒใชใ„ใ‹ใจ็–‘ใฃใฆใ„ใ‚‹ใ€‚

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

Common Lisp ็š„ใช nil ใฏๆ–‡่„ˆใซใ‚ˆใฃใฆ '() ใ‹ false ใซใชใ‚‹ใฎใŒ็‰นๅพดใชใฎใงใ€ใ€ˆใƒชใ‚นใƒˆใ‚‚็œŸๅฝๅ€คใ‚‚ใ‚ใ‚Šใˆใ‚‹ๆ–‡่„ˆใ€‰ใŒใ‚ณใƒผใƒ‰ใซใ‚ใ‚ŒใฐใใฎAPI่จญ่จˆ่‡ชไฝ“ใŒใใฎ่จ€่ชžใซใจใฃใฆใ‚ˆใ‚ใ—ใใชใ„ใจๆ€ใ†ใ€‚

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใใ‚…ใƒผใ‘ใƒผ tojoqk@mastodon.tojo.tokyo

nil ใ‚’่ฆ‹ใŸใจใใซใ€'() ใจใ—ใฆๆ‰ฑใ†ในใใ‹ใ€`# f` ใจใ—ใฆๆ‰ฑใ†ในใใ‹

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใƒ’ใƒ› :sd_hiho: hiho_karuta@friends.cafe

ใคใพใ‚Šใ€้ข็™ฝใ„ไบบใ—ใ‹ใงใใชใ„ๆ–นๆณ•ใŒใ‚ใ‚‹ใจใ€ใใฎๅˆ†้‡Žใฏ้ข็™ฝใใ‚ใ‚Š็ถšใ‘ใ‚‰ใ‚Œใ‚‹

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใƒ’ใƒ› :sd_hiho: hiho_karuta@friends.cafe

ใ€Œ้ข็™ฝใ„ไบบใŒ็ทจใฟๅ‡บใ—ใŸๆ–นๆณ•๏ผ‹
ใ‚ณใƒณใƒ†ใƒณใƒ„ใ‚’ๅ‡บใ—ใŸใ‚ใจใ€้ข็™ฝใใชใ„ไบบใŒๆ–นๆณ•ใ ใ‘็œŸไผผใฆๆ‚ช่ณชใชใ‚ณใƒณใƒ†ใƒณใƒ„ใ‚’ๅ‡บใ™ใ€ใ ใจๆ€ใ†ใ‚“ใ ใ‚ˆใช

Masanori Ogino ๐“€ Masanori Ogino ๐“€ reblogged at 4 years ago

ใƒ’ใƒ› :sd_hiho: hiho_karuta@friends.cafe

ใ‚ˆใใ‚ใ‚‹ใ€Œใ‚ณใƒŸใƒฅใƒ‹ใƒ†ใ‚ฃใฎไธ€็”Ÿใ€ใ€ใ€Œ้ข็™ฝใใชใ„ไบบใŒ้ข็™ฝใใชใ„ใ“ใจใ‚’ใ‚„ใฃใฆใ‚ณใƒŸใƒฅใƒ‹ใƒ†ใ‚ฃใŒ็ต‚ใ‚ใ‚‹ใ€ใชใ‚“ใ ใ‘ใฉใ€ใ‚‚ใ†ใกใ‚‡ใฃใจๅˆ†่งฃใ™ใ‚‹ใจ

Masanori Ogino ๐“€ omasanori@mstdn.maud.io

ใ€Žใƒใƒผใƒขใƒ‹ใƒผใ€ใฎ็”Ÿๅบœใจใ„ใ†ๆฆ‚ๅฟตใฏ้ข็™ฝใ„ใชใจๆ€ใฃใŸใ€‚ใฉใ“ใซไฝใ‚“ใงใ„ใ‚‹ใ‹ใงใฏใชใใ€ใฉใฎใ‚ˆใ†ใชๅŒป็™‚็ฆ็ฅ‰ใ‚ตใƒผใƒ“ใ‚นใ‚’ๅ—ใ‘ใ‚‹ใ‹ใงๆ‰€ๅฑžใ™ใ‚‹ใ€Œใ›ใ„ใตใ€ใ‚’ๆฑบใ‚ใ‚‹ใจใ„ใ†่€ƒใˆๆ–นใ€‚