▽検証的なｱﾝﾃﾅ
●12/27 02:35
2024/12/26 23:51:28 Java PathFinderConvert Excel Spreadsheets to Web ApplicationsUse your spreadsheet as the logic engine. and keep users from ever touching the spreadsheet directly by interfacing via an EASA web app.EASA’s platform,2024/12/26 23:48:21 はてなﾌﾞｯｸﾏｰｸ - ﾀｸﾞ 形式手法638 users184 users169 users158 users“ﾌﾞﾙｰﾚｲ補償金”の額が決定｡機器は1台につき182円138 usersRealWorld 業務 Rust - Qiita85 usersなぜ俺たち中年はｱ

▽Coqとは - はてなｷｰﾜｰﾄﾞ
●12/25 14:27 [Coq]
K's Atelier•4ヶ月前Fashion Express•2日前ﾏｲﾀﾞｲｱﾘｰ 衣装 | 吉川愛･見上愛 (服･ﾊﾞｯｸﾞ･ｱｸｾｻﾘｰ等)最終更新日: 2024年12月23日 ｢ﾏｲﾀﾞｲｱﾘｰ｣衣装情報です｡ 2024年10月ｽﾀｰﾄのﾄﾞﾗﾏ｢ﾏｲﾀﾞｲｱﾘｰ｣の､吉川愛さん･見上愛さんの衣装を調査しﾌﾞﾗﾝﾄﾞ名を紹介します｡ﾌﾗﾝｽ語で楽しむ｢ﾒｸﾞﾚ警視｣•4日前ﾒｸﾞﾚ警視の食卓｢鶏肉のﾜｲﾝ煮｣（ｺｯｺｰｳﾞｧﾝ）Il rentra d〓jeuner chez lui et sa femme lui servit un coq au vin. C'〓tait un de ses plats favoris mais il mangea distraitement, sans faire aucun compliment. (Georges Simenon : Maigret

▽ﾗﾑﾀﾞ計算とは - はてなｷｰﾜｰﾄﾞ
●12/25 14:16
ESM ｱｼﾞｬｲﾙ事業部 開発者ﾌﾞﾛｸﾞ•6ヶ月前HapInS Developers Blog•2日前第4回　ﾗﾑﾀﾞ計算でﾁｭｰﾘﾝｸﾞﾏｼﾝを実装！HapInSｱﾄﾞﾍﾞﾝﾄｶﾚﾝﾀﾞｰ2024､23日目！ いつも言語のことを考えているh_shimakawaです｡ 今回は約1年越しの超大作､ﾗﾑﾀﾞ計算ｼﾘｰｽﾞの最終回です｡ 単純なﾗﾑﾀﾞ関数を組み合わせて｢ﾁｭｰﾘﾝｸﾞ完全｣の力を実装する､感動のお話です！ はじめに 目標 この記事では､ﾁｭｰﾘﾝｸﾞﾏｼﾝの実装を通じて､ﾗﾑﾀﾞ計算の計算能力が｢ﾁｭｰﾘﾝｸﾞ完全｣であることを証明します｡ 言語実装の違法建築やｰ！ 難易度 難易度: ある程度抽象度が上がってきたのでむしろわかりやすいのかも？ 対象読者 ﾗﾑﾀﾞ計算やﾁｭｰﾘﾝｸﾞ等価について関心がある人､またはない人 目次 はじめに 目標 難易度 対象…ｴﾚﾌｧﾝﾄ･ﾋﾞｼﾞｭｱﾗｲｻﾞｰ調査記録•5日

▽檜山正幸のｷﾏｲﾗ飼育記
●12/14 14:54
2024-12-13連立方程式系と余連立余方程式系雑記／備忘｢圏論のｴﾝﾄﾞとｺｴﾝﾄﾞは双対なんだよ｣で述べたように､ｴﾝﾄﾞとｺｴﾝﾄﾞは完全に双対なのですが､この双対性､なかなかに分かりにくいようです｡ｴﾝﾄﾞの作り方は｢連立方程式系の解空間を求める｣行為になっています｡ｺｴﾝﾄﾞを作ることはその行為の…連立方程式系と余連立余方程式系

▽yoshihiro503の日記 - ocaml-nagoyaｸﾞﾙｰﾌﾟ
●10/29 03:39
【完了】10月28日（月）6:00-7:00　ﾃﾞｰﾀﾍﾞｰｽﾒﾝﾃﾅﾝｽ実施に伴うはてな各ｻｰﾋﾞｽ停止についてのお知らせ