▽Z3の写真館(ﾌﾞﾛｸﾞ版)
●05/15 10:57
1 ｽﾋﾟﾘﾁｭｱﾙ2 ﾒﾝﾀﾙ3 法律･裁判4 科学5 ﾌﾞﾛｸﾞ6 金融･ﾏﾈｰ7 FX8 介護9 韓国語10 教育･学校

▽本物のﾌﾟﾛｸﾞﾗﾏはHaskellを使う：ITpro
●05/15 08:16
1970年代に始まったｻｲﾊﾞｰｾｷｭﾘﾃｨｰ､攻防戦はどう繰り返されてきたか2025.05.15ついに世界ｼｪｱ30％割れのAWS､｢人気者｣戦略一本でｸﾗｳﾄﾞ首位を守れるか2025.05.15NTTによる完全子会社化だけでは変わらない､NTTﾃﾞｰﾀ自身のDXが不可欠だ2025.05.15明治安田生命が生成AIでｼｽﾃﾑ開発を効率化､1億ｽﾃｯﾌﾟ超のCOBOLを対象に2025.05.15｢企業の脆弱性は時間と共に増加｣､MS＆AD系の2000社ｾｷｭﾘﾃｨｰ診断で判明2025.05.15社内ｼｽﾃﾑを｢拡張｣して共同基盤へ､損保ｼﾞｬﾊﾟﾝとﾃﾞﾛｲﾄがﾚﾝﾀｶｰ手配で2025.05.15生産性向上を阻害する｢従業員のﾏｲﾝﾄﾞｾｯﾄ｣､ﾃﾞｰﾀを共通言語にｻｲﾛ打破2025.05.15｢決められたことしかやらない｣部下の対処法､やる気がないのは上司のせい2025.05

▽檜山正幸のｷﾏｲﾗ飼育記
●05/14 08:06
2025-05-12型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来雑記／備忘｢おｰ､$`\Delta`$ と $`\nabla`$ を組み合わせたら $`\diamondsuit`$ になるな､むふふふふ｣と､ﾀﾞｼﾞｬﾚな記法を思いついて悦にいっている今日このごろ｡何の話かというと； ｶﾘｰ／ﾊﾜｰﾄﾞ／ﾗﾝﾍﾞｯｸ対応によれば､型と命題は事実上同じものなので…型を命題にｸﾗｯｼｭさせる： ﾀﾞｲｱﾓﾝﾄﾞ･ｵﾍﾟﾚｰﾀｰの由来

▽ｵﾌﾞｼﾞｪｸﾄ指向ｽｸﾘﾌﾟﾄ言語 Ruby
●05/14 00:27
CVE-2025-43857: net-imap gem のDoS脆弱性net-imap gem に DoS の脆弱性が発見されました｡この脆弱性は CVE-2025-43857 として登録されています｡net-imap gem のｱｯﾌﾟｸﾞﾚｰﾄﾞを推奨します｡もっと読む...Posted by nevans on 28 Apr 2025ｾｷｭﾘﾃｨｱﾄﾞﾊﾞｲｻﾞﾘ: CVE-2025-27219､CVE-2025-27220､および CVE-2025-27221CVE-2025-27219, CVE-2025-27220 および CVE-2025-27221 のｾｷｭﾘﾃｨｱﾄﾞﾊﾞｲｻﾞﾘが公開されました｡詳細は以下をお読みください｡もっと読む...Posted by hsbt on 26 Feb 2025

▽Diary - Miyo’s Page
●05/13 08:42
薬師池公園自転車出勤(?) 6納品 7しまなみ海道(1)しまなみ海道(2) 12こまごまと 132025-5-12こまごまとした雑用やらﾐｰﾃｨﾝｸﾞやら．...体が痛い．2025-5-11しまなみ海道(2)今治から尾道へ．自転車に乗った瞬間から体に疲労がたまっていることを，文字通り，痛感．とはいえ，直帰せずに，大山祇神社に寄ったり，ﾌﾗﾜｰﾗｲﾝに挑戦したり，と，しまなみ海道を堪能．8時に出て14時半くらいに到着．途中ﾎﾟﾂﾎﾟﾂと雨になるかなｰ，と思ったけど，到着まで，なんとか天気がもってよかった．大山祇神社の樹齢2600年(推定)の木．この神社，頼朝や義経が刀とか鎧とか奉納してるらしい．今度ゆっくり来たいな．ﾌﾗﾜｰﾗｲﾝをのぼりきったところにあった，重岩石鎚大権現からの眺め．柵とかないので，なかなかに高さを実感できて恐かった．2025-5-10