|
|
|
|
|
||
|
||
すべて | グループ指定なし | ゆーきのアンテナ | sydのアンテナ | sydのアンテナ2 | others
Natural Resources Canada Ministry of Digital Affairs, Taiwan Akamai Technologies Vision Ireland LY Corporation SPRIND GmbH
W3C Invites Implementations of Decentralized Identifiers (DIDs) v1.1
This document specifies the DID syntax, a common data model, core properties, serialized representations, DID operations, and an explanation of the process of resolving DIDs to the resources that they represent.
News
First Public Working Draft: YAML-LD 1.0
This document defines YAML-LD as a set of conventions on top of YAML which specify how to serialize Linked Data as YAML based on JSON-LD syntax, semantics, and APIs.
News
WBCで「誹謗中傷検知システム」導入 選手への中傷、AIがチェック 悪質投稿者は入場禁止も
「会社ぐるみでの関与はない」 マンガワン問題、小学館が文春報道に釈明
最大1TBの“小さすぎる”USBメモリ「SANDISK Extreme Fit USB-C」がモバイルノートPCの理想の相棒だった
楽天の「Open RAN」「エコシステム」が世界で注目を集めるワケ 三木谷氏はMWCで「殺人的なアポ」とうれしい悲鳴
アクセンチュア、ダウンディテクターのOoklaを12億ドルで買収
2026年3月5日
WBCで「誹謗中傷検知システム」導入 選手への中傷、AIがチェック 悪質投稿者は入場禁止も
「会社ぐるみでの関与はない」 マンガワン問題、小学館が文春報道に釈明
最大1TBの“小さすぎる”USBメモリ「SANDISK Extreme Fit USB-C」がモバイルノートPCの理想の相棒だった
楽天の「Open RAN」「エコシステム」が世界で注目を集めるワケ 三木谷氏はMWCで「殺人的なアポ」とうれしい悲鳴
アクセンチュア、ダウンディテクターのOoklaを12億ドルで買収
担当者に聞いた：
カシオクラシックはなぜ売れる？ “普通の時計”再評価の理由
「キレイごとナシ」のマネジメント論：
「AI使ってない社員は昇進させません」――あなたの会社にも導入すべきか？
中小企業は「消去法」で50代を採用する 早期退職の前に知るべき現実
「フォートナイト」がGoogle Playに復帰へ Googleがアプリ課金とストアの制限を大幅緩和
「デイリーヤマザキ」は復活できるのか 一時期は「ファミマ」より多かったのに、近年はあまり見かけなくなったワケ
・OpenAI、「Codex」のWindows版もリリース
・アクセンチュア、ダウンディテクターのOoklaを12億ドルで買収
・「MacBook Neo」フォトレポート 10万円切りの新Mac、実機をひと足早くチェック
・「フォートナイト」がGoogle Playに復帰へ Googleがアプリ課金とストアの制限を大幅緩和
・中央線グリーン車、収入目標突破へ JR東日本が3月運賃改定 喜勢社長「サービス向上」
・攻撃はもう外から来ない？ 2300億件の脅威観測から見えた事実
・Claude Codeの重大な脆弱性を分析 開発者への3つの影響とは？
・苦境のIntelは本当に復活するのか 再起をかける半導体戦略の全貌とは
・「サブスク乱立」の悪夢をどう終わらせる？ CIOが今すぐ取るべき行動
・仕事中に「私物スマホでチャッピー」横行？ シャドーAIの実態を徹底調査
・ゴアテックスの「防水ウォーキングシューズ」おすすめ3選 雨の日も快適に歩ける【2026年3月版】
・「チプカシ（チープカシオ）」のデジタルモデル3選 ゴツくて多機能なアウトドアウォッチも【2026年3月版】
・大きすぎずちょうどいい「アニエスベーのバッグ」おすすめ3選【2026年3月版】
・今売れている「ヘアドライヤー」おすすめ3選＆ランキング 軽くてコンパクトなものが人気【2026年3月版】
・ピカチュウモデルの「Anker タイプCケーブル」が27％オフの1590円に
・楽天の「Open RAN」「エコシステム」が世界で注目を集めるワケ 三木谷氏はMWCで「殺人的なアポ」とうれしい悲鳴
・Apple、「iOS 18.3.1」を配布開始 新型Studio Displayに対応
・【ユニクロ】キャリーオンバッグとしても利用できる「2WAYユーティリティバッグ」 2990円に値下げ販売中
・睡眠やストレスを精密に可視化できる「Oura Ring 第4世代」が15％オフの4万4880円に
・Ryzen 7搭載の14型ノートPC「Lenovo IdeaPad Slim
Upcoming events
18 Mar
webinar | DigitalLunch & Learn: Building Agents with Granite Workshop
23 Mar
conference | DurhamAll Things AI 2026
More events
article Radar Trends
Radar Trends to Watch: March 2026
Developments in operations, things, web, and more
By Mike Loukides |
March 3, 2026
How We Bet Against the Bitter Lesson
video
Technical Storytelling with Lena Reinhard and Priyanka Vergadia
By O'Reilly |
March 2, 2026
article
Semantic Layers in the Wild: Lessons from Early Adopters
By Jeremy Arendt |
February 26, 2026
2026-03-02
ホーア論理とホーアオートマトン 3/n ： 言葉と習慣、Go言語
雑記／備忘
ホーアオートマトンは、“状態ソートを含む指標のモデル”となるものです。今言った「状態ソートを含む指標のモデル」は、ホーアオートマトンの手短〈てみじか〉な説明になっています。が、これだけでは通じないでしょう。通じないだけならいいのですが、言葉…
ホーア論理とホーアオートマトン 3/n ： 言葉と習慣、Go言語
2026 / 3
2026-03-03 おばあちゃんが教えてくれた公式／別証明 三角関数バージョン
複素指数関数を使わない「ハイスクール的？」アプローチ。このネタのソース “Grandma’s identity” に掲載されている証明法も紹介。
指数関数を使った証明は 1 + e2t = et(e−t + et) のような当たり前の等式を鍵とするもので、ほぼ一本道の機械的計算だった。指数関数を使わないと、かえってややこしくなったり、ある種のトリックが必要になったりする。それもまた一興。
→ 続きを読む
2026-03-02 「おばあちゃんの公式」なぜ成り立つ？
前回、 2 cos (π/7) × 2 cos (2π/7) × 2 cos (3π/7) = 1 などの、一連のきれいな関係（おばあちゃんの公式）を証明した。証明したのだから、論理的に成り立つことは確かなのだが、公式が成立する真相っていうか直観的理由が、必ずしも透明になっていない。
上記の例（n = 7 のケース）は、画像（原点を中心とする単位円）の横座標 a, b, c の積が 1/8 に等しいことを含意する。その意味をあれこれ考えてみると、次の観察に至る。すなわち、
x6 + x5 + x4 + x3 + x2 + x + 1
という6次式が与えられたとき、 y = x + 1/x と置いて、その6次式を y についての3次式に変換すると、その3次式の定数項は ±1 のどちらかになる。実際、上記の6次式は、
y3 + y2 − 2y − 1
に変換される（詳細については後述）。この「変換後の定数項は ±1」という性質は、
x2m + x2m−1 + ··· + x + 1
について、一般的に成り立つ。「定数項は ±1」という単純な事実（無味乾燥とさえ思える）と、「おばあちゃんの公式」（美しく興味深い）は、実は本質的に同じ意味を持つ。その関連性は一見して明らかではないけど、仕組みが分かってみると、結構面白い！
「定数項は ±1」という事実を示すことで、指数関数も三角関数の公式もほとんど使わずに、「おばあちゃんの公式」が再証明される。
→ 続きを読む
2026-02-28 おばあちゃんが教えてくれた公式
英国のある学生が「おばあちゃんから教わった」と教師に話したら、その先生も数学部の同僚たちも「こんな式、見たこともない」と感心したという†。
それは π つまり 180° を3等分・5等分・7等分…した角度のうち、「直角以下の正の角度」の余弦についての、次のような関係:
㋐ 2 cos π/3 = 1
㋑ 2 cos π/5 × 2 cos 2π/5 = 1
㋒ 2 cos π/7 × 2 cos 2π/7 × 2 cos 3π/7 = 1
㋓ 2 cos π/9 × 2 cos 2π/9 × 2 cos 3π/9 × 2 cos 4π/9 = 1
︙
なかなかきれい！
因子 2 cos 3π/9 = 2 cos 60° = 1 を取り除くと、㋓は
2 cos 20° × 2 cos 40° × 2 cos 80° = 1
∴ cos 20° × cos 40° × cos 80° = 1/8
となる。これは有名（？）な Morrie の法則で、㋑㋒なども同種の等式だ。
「おばあちゃんの公式」は美しく、面白い性質だけど、特に何かに役立ちそうには思えないかもしれない。でも、この種の等式（特に sin 版）は、例えばガウス和についての議論にも利用可能。研究価値がある。
本質的に「1 の n 乗根」の問題なので、指数関数を利用すると見通しが良い。
→ 続きを読む
2025～26年にかけて全国5都市15公演で開催された3度目のJAPAN TOURより、K...
花譜 5枚目のオリジナルアルバム『深愛』2026...
小説『カミュの歌鳥 花譜小説集』（中村紬 著）、3月1日にぴあアリーナMMで...
hololive Seasonal Days 『ホロライブバレンタ...
hololive Seasonal Days
『ホロライブバレンタイン2026』POP UP&フェア
ちいかわベーカリー期間限定商品
みんなのうたに所ジョージ＆ポルノ
松雪泰子、25歳の息子は“俳優”
杉田あきひろ、入院を報告
KANA-BOON、ライブ活動を再開
松雪泰子、資格を取得していた
藤原丈一郎、5年連続始球式
小芝風花、親友の俳優と温泉旅行へ
永山瑛太、挑戦したいこと発表
バーガーキング、商品価格改定
花咲楓香「胸元を凝視しないで」
松本人志 2年ぶり地上波テレビ登場
安住アナ体調不良、2番組を欠席
加藤茶イベント 高木ブーが落選
猫ひろし、東京マラソン目標ならず
松雪泰子、25歳の息子は“俳優”
杉田あきひろ、入院を報告
大悟、正月に“初めてやったこと”
逸見太郎、父・政孝さんとの親子写真
狩野英孝、アレルギー検査を再実施
松雪泰子、資格を取得していた
中野英雄、息子の“相手役”を称賛
藤原丈一郎、5年連続始球式
みんなのうたに所ジョージ＆ポルノ
KANA-BOON、ライブ活動を再開
南野陽子6・18にNHKホールで開催
wapiti、プロ野球中継のテーマ曲に
花＊花、サンミュージックへ移籍
Stray Kids I.Nメンズノンノ初登場
リップ 映画から“足湯”シーン解禁
TXT、再契約後初のカムバックへ
幾田りらが語る“大切な存在”
＝LOVE、初のTVCMは“政府広報”
声優・伊藤美来、本格演技に初挑戦
「ひつじのショーン」新作今秋公開
『マッチング』続編 特報映像公開
ギリシャヨーグルトが餃子のタレに？ 顆粒出汁とヨーグルトを混ぜる「万能中華クリーム」
餃子の付けダレにヨーグルト? 一見ミスマッチな組み合わせに見えますが、これはヨーグルトの楽しみ方をSNSで発信する”ヨーグルトマニア”向井智香さんが考案したレシピ。近年では料理の...
2026-03-02
｜ライフ｜
サンリオキャラクターズデザインで春の通勤・通学がもっと楽しく！ モバイルSuica通勤・通学定期券を購入して、あなたの推しキャラに着せ替えよう！
新生活のスタートに向けて、そろそろ身の回りのものを準備し始める時期。中でも重要なのが、通勤や通学で使用する「定期券」。ただ、駅で並んで購入するのは面倒という声も少なくない。...
2026-03-02
｜ライフ｜
「未来の有望なデザイナー」「９時間でこの完成度！」… 反抗期の高2男子が古着から"感覚だけ"で作り上げたバッグが296万再生
反抗期の高校2年生の弟が、古着から9時間でカバンを作り上げた様子を収めた動画がInstagramで話題になっている。投稿したのは、2人の弟の姉（@family08love3a）さん。動画は296.3万回再...
2026-03-02
｜ライフ｜
サンリオコラボ限定カードフェイス、手に入れる方法は？
オリコンタイアップ特集
パソコン買い替えるならコレ!コスパと性能どれを選ぶ？
オリコンタイアップ特集
リニューアルした”サン生”と加藤史帆の共通点とは？
幽霊？宇宙人？考察が止まらない人気刑事ドラマ徹底解説
のどにバリア！春先の体調管理はこれ1本におまかせ！
（PR）森永乳業
田辺大智
佐久間宣行
天羽希純
山崎賢人
5
田中みな実
8
石橋貴明
馬場ふみか
富田鈴花
（年会費無料・一般・ゴールド）
ボディエステ
旅行予約サイト 国内旅行
旅行予約サイト 海外旅行
アクティビティ予約サイト
国内
アクティビティ予約サイト
海外
2026-02-28
不登校小学五年生の双子が登校する
不登校 育児
今週久しぶりに双子が学校に行った。
何がどうなって登校する話になったのかよくわからないのだが、数時間だけ授業に出て別室で給食を食べて帰ってきた。そういえば最近担任の先生が教育委員会に報告しないといけないからと言って突然電話をかけてきたり子供とチャットしたりしていた事があったので、なんとなく行く気になったのかも知れない。
とは言えサポートはなかなか大変で、双子はまだ一人で歩いて学校に行けない。登校時間を避けて使われていない北門に車を停めて、双子のそれぞれで出席できる科目を調整して、出席できない時間は別室で待機して、などのややこしい手配を妻が全部一人でやってくれた。先生にも超特別な配慮をしていただいたようだ。最近は不登校も珍しくないので、少しずつ学校も対応に慣れてきているのかも知れない。ありがたい。
昨年の春にセルトラリンを処方して頂いてから長女の精神状態は随分良くなった。調子の良い時は不登校になる以前のようにご機嫌で饒舌になる。ただ残念ながら今通っている精神科の先生がこの春転勤される事になり、急遽他の先生を探さないと行けなくなって途方にくれている。
難しい病気なので何件もハシゴする覚悟で昨日一件目の先生の初診があった。なだめすかせてなんとか長女を病院まで連れてきたが、どうしても診察室に入ってくれない。先生が待合室まで足を運んで会話を試みたが会話は成立せず、この様子では診断ができず投薬も難しいと先生に言われてしまった。そんなー。元気に病院に行けるレベルなら薬いらんやろ！と言いたい。
良いお医者さんが見つかりますように。
propella 2026-02-28 20:53 読者になる
広告を非表示にする
もっと読む
コメントを書く
不登校小学五年生の双子が登校する
育児 (183)
不登校 (58)
X
X
Linux Foundation Announces OpenSearch Software Foundation to Foster Open Collaboration in Search and Analytics
The Linux Foundation September 16, 2024
AWS transfers OpenSearch to the Linux Foundation to support a vendor-neutral community for search, analytics, observability, and vector database software.
Read more at linuxfoundation.org
Take the Cloud Native Security Survey
May 28, 2024
/ Prediction Market と電話機 / Agentic-coding snapshot as of Feb. / もっとアニメを見ておきたかったかもしれない / 散財 / If we're not at the table, we're on the menu. / 脊髄反射記 #3 / 脊髄反射記 #2 / Book: Web Browser Engineering / メモ環境遍歴四半世紀 / Outcome and Process / 脊髄反射記 #1 / Per-Bug Pages / 2025 / ¶ / ¶ / ¶ / ...
Prediction Market と電話機
Feb 23, 2026
Insiders Are Cashing In on Prediction Markets - The Journal. - WSJ Podcasts
The Journal で Prediction market はインサイダー知識でチートする対象が広がってすごいですね、という話をしていた。
インサイダー知識、そういえば自分も電話機の中の人なのでビミョーに知ってるな・・・と思い、しかし勤務先の話題を検索するのも危ういので競合の話題を眺めてみる。
“iphone 18” と検索してみると…
Will Apple release a MacBook with cellular connectivity b… | Polymarket
Will Apple release a foldable iPhone before 2027? Predict… | Polymarket
思ったより細かいスペックの話はなかったが、こういう↑情報だって知ってる中の人は千人以上いるよね。
Polymarket は insider trading のような情報のリークは（パブリックな情報を増やすので）ある意味では良いと考えているらしいが、ダメじゃね？情報をリークするのがダメというのもあるし、それ以上にインサイダーに情報をリークさせる釣り餌になっているのがやばい。目先の金に釣られてリークしちゃうマシュマロ力の低い人の人生を破壊しちゃいますよ？犯罪を助長しないほうがよくないですかね電話機のリリース日とか公益性ないじゃん・・・。
Polymarket Trader Makes $1 Million on Google Search Bets, Sparking Insider Trading Fears
なお先の podcast では勤務先関係でインサイダーチートしたらしい事例が紹介されていた。DeepMind insider $150K くらいで人生危険に晒さない方がいいのではないか。あんたたち AGI つくって change the world and get rich するんでしょ?
Opinion | The Infrastructure of Jeffrey Epstein’s Power - The New York Times
Prediction market とは関係ないはずの Epstein の存在にも現象として同時代性を感じてしまう。こんな陰謀論むき出しな存在が存在している・していたアメリカ。Epstein なんてたまたま児童売春してたから問題が発覚したけれど、それナシだって私人がめちゃ公権力に介入してて全然ダメじゃん？それとも公権力への介入に児童売春は必須なのかい政治家のみなさん？まあ大統領が私益のためにフルスイングしてるのでもはやどうでもいい気さえしてしまうが・・・
ここ数年で Overton Window は宇宙の彼方に飛んでいってしまったなあ。
Agentic-coding snapshot as of Feb.
Feb
多焦点眼内レンズと頸椎症性神経根症
いきなり煮る!簡単スパイスカレー
立教大近くのタコス屋。お肉と脂にライムの酸味がたまらん
タコスのある昼｜ニコのタコス
前回のブログに書いたお芝居の劇場が池袋だったので、池袋でランチをすることにした。 池袋に最後に来たのは、去年の夏、かき氷を食べに来たとき。そして、野球の試合を見にベルーナドームに行くために西武線に乗り換えたときだった。 あのときの西武線の駅と電車の中…
ひつじ泥棒２
theme: どうでもいいような話
準備して良かったものは色々あるが一番必要だったのは度胸
どこで航空券買っても同じや同じや思て（２泊３日香港ひとり旅レポ前日編
香港行きの航空券、取っちゃった・・・/////////// 叉焼飯！ どうもこんにちは。前野です。 ええ、まあ。表題の通りです。取ってしまいました。
三階視聴覚室
行ってきた
「ハブ乗り禁止」の看板。1992年の流行語だったらしい
肥前旭駅から吉野ヶ里温泉へチャリで走る
微妙に寝坊してしまったところに、曇り空で気温が3℃という外出したくなる要素が限りなく低い日曜日。 でも、雨も降っていないのに家でゴロゴロするのは勿体ないだろうというわけで、今まで行ったことのない温泉でも発掘すべく、以前、近くを通ったにもかかわらず立ち寄…
NISHISAITAMA PROJECT
旅・遠出
注文品が一つも合っていない。この適当さを見習おう
これじゃない、これじゃないんだ
2/4 (水) 家の近くにまだ見ぬインドカレー屋さんを発見しわくわくとUberしたところ、何一つ合っているものが届かない適当さで腹を痛めるくらい笑ってしまった。ほうれん草カレーを頼んだはずがバターチキンカレーに、激辛が中辛に、セットの内容も違うものが届いてしま…
ペン吟日記
はてなブログPro
体重は減っていないが、肩こりと頭痛と中途覚醒は減った
マシンピラティスに70回通ったわけだが
コロナ以降テレワークが続き、iPhoneの歩数計で衝撃の1日100歩未満とか叩き出す生活をしていたわけだけど、アラフォーにもなってこれはさすがにいかん･･･！と去年の夏から始めたマシンピラティスの回数が70回を過ぎたのだ。 それまで運動不足に危機感を感じて、チョ●ザ…
そこはかとなく、
はてなブログPro
つれづれや自分のこと
もみじおろしをつけてポン酢で。う〜んフォアグラ！
あん肝 ♪
購読している方のブログで、青物横丁の魚屋さんに時々蒸したてのあん肝が売っているのを知りました。青物横丁まで行ったら、OK（スーパー）経由で必ず寄る魚屋さんです。手術前の健脚であれば、すぐにでも青物横丁まで歩いて行きたかったのですがまだスタスタとは歩け…
四季に暮らす
はてなブログPro
料理
『羅小黒戦記2』という凄いものを作ってくれてありがとう
2025年映画ベスト10！…＆よき映画まとめ byぬまがさワタリ
有料 2025年も締めに入ってるということで、つまり21世紀も4分の１が終わりつつあります。 大丈夫ですか？ ＞人類 今年は映画館にはわりと行きまくっていた（数えたら160本くらい観ていた）くせに、忙しさにかまけてほとんど（唯一の例外を除いて）映画感想ブログ記事とか書…
沼の見える街
はてなブログPro
映画
2025年の裏テーマは「インフレ下でどうワインを飲むか」
2025年、買って良かったワインたち
有料 今年も年末になってしまいました。毎年恒例、今年飲んで良かったと思えたワインについて紹介します。なお、今年の裏テーマは「インフレ下でどうワインを飲むか」です。 インフレや円安も進み、国際情勢が不穏の度合いを深めていくなか、私のワイン選びは慎重に、けちく…
シロクマの屑籠
はてなブログPro
ワイン
小学生の頃に書いた長所「すぐうちとけられる」を思い出す
うちとけられる
小学生のとき。たしか5年生か6年生だった
My 2019-era Dell laptop died recently, a few days after I’d replaced the battery. More specifically, the laptop was still running fine off the battery but it had lost its ability to charge from the mains. Without any way to recharge the battery, the laptop was useless.
The green LED on the charger would just turn off when I plugged it into laptop, and the laptop did not detect a charger. The charger itself was fine – I measured the expected 19.5v when the green LED was on, but 0v after plugging it into the laptop. This was clearly bad news, but with a small glimmer of hope. The charger was clearly detecting a short and shutting down (nice safety measure). Perhaps it was just the laptop power jack that was shorted? Unfortunately not – I opened up the laptop, removed the jack and its motherboard cable and that part wasn’t shorted. I could even put the liberated jack/cable assembly onto the power supply and the green LED happily stayed on.
The short was clearly on the motherboard itself – quickly confirmed with a continuity check on the motherboard connector – 0.2ohms. However, the fact that the laptop ran off the battery meant that the fault must be isolated to the charging section only – another glimmer of hope.
On the left is the power connector, with grounds at the top and power at the bottom. The 19.5v rail has a 10uF cap smoothing cap, a couple of 1uF’s and a zener diode to stabilize the voltage. This is all pretty vanilla so far. Next there’s a big mosfet switch, whose gate is controlled by some ‘AC DISABLE’ line. But crucially, this mosfet helped narrow down the fault
利用者情報の外部送信先を追加しました
はてなの日記 (655)
はてなロゴ日記 (32)
利用者情報の外部送信先 (5)
夜の奈良公園。観光客がいないからか、鹿はじっとしている
夜の奈良観光
12月に近畿出張に行き、最終日に奈良に宿泊した。修学旅行で訪れて以来数十年ぶりだ。JR奈良駅近くのホテルを出たのが17時40分頃。主な寺は18時には閉まってしまうが、奈良に来て観光をしないなどあり得ないのでとにかく興福寺の方へ向かった。 興福寺へ向かう三条通。…
東雲製作所
観光
夜も寿司だけどもう寿司が食べたい！ 空港の立食い寿司屋へ
北海道で食べまくり記録（1日目）
三連休に北海道・札幌にきました。去年そこそこ太ってしまい、2026年の目標はダイエットを真っ先に挙げるべきだろと薄々思ってはいるものの、北海道旅行を控えている身で「ダイエットする」なんてとても言えなかった…私がもし北海道に生まれ落ちていたら絶対今と同じ体…
プリンは固め派
おみくじには「焦るな」ということが延々と書いてあった
【日記】三が日の長崎・太宰府・福岡
1月1日～1月2日 年末は両親と姉家族と一緒に、長崎のホテルで年越しした。 2025年の正月も同じホテルで迎えたので、1年ぶりの長崎だった。元日は両親と一緒に市電に乗り、諏訪神社で初詣を済ませてから中華街、浜町アーケード、崇福寺などを見て回った。 崇福寺の竜宮…
これからどうします？
日記
実感は、むしろ真逆。知れば知るほど足取りは重くなる
「知識は荷物にならない」のか？
ラジオを聞いていたら、たまたま耳に飛び込んできた言葉。「知識は荷物にならない」。 あちこちで引用されていることわざらしい。確かに、昔どこかで聞いたことがある気がする。 知識は荷物にならないのか？ このところの私の実感は、むしろ真逆である。 知識は荷物に…
旅するトナカイ
雑記・考えごと
日本語の「顔が広い」を韓国語では「足が広い」というそう
「韓国 ことばと文化」
先日、神奈川大学エクステンション講座を受講する機会があり、受講当日なら大学の図書館での閲覧はOKということなのでお邪魔してきた（本の貸し出しはできない）。２時間ほど早く現地に向かい、１時間半程度で読める本をさがして（見物を兼ねて本さがしに３０分ほど費…
晴走雨読 横鎌日記
よむ
Webサイトに登録した野鳥の種類を競う。今年は75種登録！
新春恒例・インターネットバードソン
新春恒例・インターネットバードソンが終了しました。 今年は元旦から14日までが期間。昨年より一日だけ長くてラッキー。 これまで同様に江ノ島や近隣の緑地や遊水池などで鳥探し。 昨年は63種だったようです。 kobitoku.hatenablog.com 過去ログによるとこれまでの最…
こびとく日誌
バードウォッチング
『羅小黒戦記2』という凄いものを作ってくれてありがとう
2025年映画ベスト10！…＆よき映画まとめ byぬまがさワタリ
有料 2025年も締めに入ってるということで、つまり21世紀も4分の１が終わりつつあります。 大丈夫ですか？ ＞人類 今年は映画館にはわりと行きまくっていた（数えたら160本くらい観ていた）くせに、忙しさにかまけてほとんど（唯一の例外を除いて）映画感想ブログ記事とか書…
沼の見える街
はてなブログPro
映画
2025年の裏テーマは「インフレ下でどうワインを飲むか」
2025年、買って良かったワインたち
有料 今年も年末になってしまいました。毎年恒例、今年飲んで良かったと思えたワインについて紹介します。なお、今年の裏テーマは「インフレ下でどうワインを飲むか」です。 インフレや円安も進み、国際情勢が不穏の度合いを深めていくなか、私のワイン選びは慎重に、けちく…
手に取ると「一年はちゃんと分厚い」ということを思い出す
日めくりカレンダーで毎日をすこし大切に
一日のはじまりと終わりを意識できるような素敵な日めくりカレンダーで素
2025年12月30日
■ 日本のAI規制体系における構造的混乱：AI事業者ガイドラインに起因する問題の連鎖
このところの日記の記載を基礎として、改めて、「AI事業者ガイドライン」と「AIセーフティに関する評価観点ガイド」をClaude Opus 4.5を用いてほぼ自動的に評価させた。繰り返しになるが、これは論文で指摘したかったことだが半年後くらいになりそうなので、早めに多くの人に認識を共有してもらうべくここに記すものである。結論は最後のターンまでスキップ。
私：日本のAI政策の問題を指摘するブログを2回書きました。この指摘に沿って「AI事業者ガイドライン」の問題点を分析してもらおうと思いますが、その前にまずこの2回分の指摘の内容を把握してください。
https://takagi-hiromitsu.jp/diary/20251216.html
https://takagi-hiromitsu.jp/diary/20251221.html
Claude：[考え中...]
2つのブログ記事を取得して内容を把握します。
[考え中...]
2つのブログ記事を取得しました。内容を整理してお伝えします。
（略）
AI事業者ガイドラインの分析に進みましょうか？
私：AI事業者ガイドラインはここにありますが、まず、「AI事業者ガイドライン（第1.1版）本編」を評価しましょう。対象PDFファイルをアップロードした方がいいですか？
https://www.meti.go.jp/shingikai/mono_info_service/ai_shakai_jisso/20240419_report.html
Claude：[考え中...]
まずはweb_fetchでPDFを取得してみます。うまくいかなければアップロードをお願いします。
[考え中...]
最新版は第1.1版（2025年3月28日公開）ですね。本編PDFを取得してみます。
[考え中...]
PDFの直接取得ができませんでした。「AI事業者ガイドライン（第1.1版）本編」のPDFをアップロードしていただけますか？
ファイルサイズが1,841KBとのことなので、問題なくアップロードできると思います。
私：（「AI事業者ガイドライン（第1.1版）本編」を添付して）
こちらがそのファイルです。先ほどのブログの趣旨に沿って、具体的に問題箇所を点を示して問題点を列挙してください。
Claude：[考え中...]
AI事業者ガイドライン（第1.1版）本編を、ブログの論点に沿って分析します。
AI事業者ガイドライン（第1.1版）本編の問題点分析
1. 根本的な問題：目的軸での類型化の欠如
問題箇所：第1部「AIとは」（9–10頁）
AIの定義は技術的観点からのみ行われており、規律目的による類型化（処遇AI/生成AI/製品AI）が存在しない。
「生成AI」の定義はある（10頁：「⽂章、画像、プログラム等を⽣成できるAIモデルにもとづくAIの総称」）
しかし「処遇AI」（個人を評価・選別・決定するAI）という概念がない
「製品AI」（物理的動作を担うAI）という概念もない
結果として、技術軸（従来AI/生成AI/高度なAI）での分類しかなく、「何を規律するのか」という目的軸での整理がない。
2. 「透明性」における混同
問題箇所：第2部C 6) 透明性 ①検証可能性の確保（18頁）
AIの判断にかかわる検証可能性を確保するため、データ量⼜はデータ内容に照らし合理的な範囲で、AIシステム・サービスの開発過程、利⽤時の⼊出⼒等、AIの学習プロセス、推論過程、判断根拠等のログを記録・保存する
ログの記録・保存にあたっては、利⽤する技術の特性及び⽤途に照らして、事故等の原因究明、再発防⽌策の検討、損害賠償責任要件の⽴証上の重要性
「2026年開設ブログ」のグループ
Term 1›Term 2›Term 3›
2025-11-30
明治の遺産とグローバル化の波: 日本の大学制度の迷走と構造的課題
Assistant Professor は助教授なのか
Free Sample Questions for the AWS Developer Certification
Cameron McKenzie 02 Oct 2025
Looking for Certified AWS Developer sample exam questions? This free practice test for the AWS Developer Associate exam will help you learn and help you pass ...
16.11.25
Maybe Don’t Talk to the New York Times About Zohran Mamdani
Peter Coviello explains how the New York Times enables right-wing billionaires to push their agenda.
Like so many other bits of Times coverage, the whole of the piece is structured as an orchestrated encounter. Some people say this; however, others say this. It’s so offhand you can think you’re gazing through a pane of glass. Only when you stand a little closer, or when circumstances make you a little less blinkered, do you notice the fact which then becomes blinding and finally crazymaking, which is just that there is zero, less than zero, stress put on the relation between those two “sides,” or their histories, or their sponsors, or their relative evidentiary authority, or any of it. Instead, what you get is a piece making the various more or less bovine noises of studious grey-lady impartiality, with the labor of anything resembling “appraisal” surgically excised.
... [W]hat this sort of reporting ultimately means is that if you have enough money to get somebody, anybody, to produce a white paper for you, which you can then put on some think-tank stationery? Then, my friend, you are ready to enter into the rushing current of elite reportage. For no matter how unhinged the position you’ve taken, or paid someone marginally credentialed to sketch out on your behalf—“Can Woman Think?: We Investigate,” “Is the Negro a Man: A Reconsideration”—that opinion will, by virtue of such provenance, possess all needed evidentiary gravity for the Times. And then some. (Only yesterday the Times ran this actual story, wh
We’re getting things ready
Loading your experience… This won’t take long.
登録: コメント (Atom)
この広告は、90日以上更新していないブログに表示しています。
新しい部屋（たぶん）
あちこち散らばったもののまとめ
https://potofu.me/tsuruhiko
この広告は、90日以上更新していないブログに表示しています。
ニュース
お知らせ
プレスリリース
掲載報告
事業紹介
会社情報
会社概要
企業理念
沿革
役員紹介
アクセス
IR情報
個人投資家の皆様へ
経営方針
業績・財務情報
IRライブラリ
株式・社債情報
お問い合わせ
採用情報
ニュース
お知らせ
プレスリリース
掲載報告
事業紹介
会社情報
会社概要
企業理念
沿革
役員紹介
アクセス
IR情報
個人投資家の皆様へ
経営方針
業績・財務情報
IRライブラリ
株式・社債情報
お問い合わせ
採用情報
teacup. byGMO サービス終了のお知らせ
teacup. byGMOは、2022年8月1日をもちまして、サービスを終了いたしました。
これまでteacup. byGMOをご愛顧いただき、誠にありがとうございました。心より感謝申し上げます。
今後とも、GMOメディア株式会社のサービスをよろしくお願いいたします。
2022年8月1日
IS 655602 / ISO 27001
🎨 クリエイターブログ
🔧 GMOメディア Zenn
📒 GMOメディア IR note
ニュース
事業紹介
会社情報
IR情報
採用情報
お問い合わせ
プライバシーポリシー
情報セキュリティ宣言
FOLLOW US
🎨 クリエイターブログ
🔧 GMOメディア Zenn
📒 GMOメディア IR note
雑談用ストーリー [4] 1180
Posted by Admin on 25th Dec 2024
1 2024-12
2 2017-12
台北市内はベビーカーで回りやすい！
【1歳2ヶ月初海外】子連れで台湾旅行 旅の記録編
前回に引き続き子連れ台湾旅行の旅の記録を紹介したいと思います。 1歳2ヶ月の息子は伝い歩きができる程度で、自力で長時間歩くのは難しい時期でしたので、移動の中心はベビーカーに頼ることになりました。そこで台北市内がどれだけベビーカーで回りやすいか、また、振…
旅行・お出かけ
“旅行でトランクにつけたらすごく良かった”
キーホルダーもてあます問題が解決
キーホルダー、つけることが少なくなっていましたが前回旅行でトランクにつけたらすごく良かったのでそのことをかきます。 かわいい緑の顔をしたジェリーのマスコットキーホルダーを手に入れていましたが使い所、どうしたもんかな〜と思っていました。キーホルダー、も…
日々のスケッチ
雑記
人物名が頭に入ってからは一気読みした『紅城奇譚』
11月に読んだ本
今月は4冊。月初めは資格試験があり、月半ばにドラクエ3が発売されたため、ものすごい読む量が減った。 蒼海館の殺人 阿津川辰海 蒼海館の殺人 （講談社タイガ） [ 阿津川 辰海 ]価格: 1210 円楽天で詳細を見る 図書館の予約の都合上、紅蓮館の殺人（シリーズ1作目）よ…
1330
読書記録
昨年末は何をしていた？……工事現場を撮っていた
師走をふりかえる
師走。気ぜわしい歳末。 毎年、あっという間に年が変わってしまう。 今年はどうだったろうか。 趣味のフィルムカメラも続いたし、何だかんだ旅行にも行った。 子どもの成長を感じながら過ごした一年はなかなか濃かった。 ピリピリ不満はあるのだけど日々何らかの楽しみ…
MEUTURI Ⅱ
突っ込んでおけば、勝手に塩味ついて乳酸発酵してくれる
ぬか床を封印から解く・お手抜き炊事事情
ぬか床復活 ぬか床を封印から解いて（ジップ袋に入れて冷凍してたのを解凍し、タッパーに入れ替えただけ）中途半端に残ったにんじんに塩を摺り込んで突っ込んだ。 きゅうりのぬか漬けが大好物だが、それ以外はそれほどでも・・・って感じなので、夏の終わりに「封印し…
お気楽ミニマルライフ
日常記録・雑感・時々編み物memo
「リニア鉄道館」の車両展示に、息子は興奮＆興味津々！
乗り物好きの息子と一緒に行った乗り物がある施設
長男は自動車や電車が好きである。 長男と、乗り物を見れる施設に行った感想。 トヨタ産業技術記念館 https://www.tcmit.org/ 長男が2歳半のときに行った。 駅から近いのが良い 自動車館に入ったときの2階からの景色がとてもよい。わくわくする。息子は走り回っていた…
明日会社がなくなっても
育児
「そういう、p_shirokumaは縦の旅行をしてきたのか？」
私が経験した縦の旅行／横の旅行（らしきもの）
有料 先日、books&appsさんに寄稿した『エリートたちには「縦の旅行」が足りない | Books&Apps』という文章ははてなブックマークだけにとどまらない反響があり、それを読んで糧にした。ただ、こんなに読まれた理由はタイトルのおかげもあったのだろう。私の寄稿記事はほとん…
シロクマの屑籠
はてなブログPro
シロクマの屑籠有料記事
会場の受付装飾と、新郎の胸元につけるブートニアを制作
結婚披露宴に折り紙をプレゼントしました／Origami decoration for wedding
有料 先日、友人の結婚式がありました。ふたりの新しい門出をみんなで喜び祝う、あたたかなパーティとなり、とても良い時間を過ごせました。めでたい。おめでとう。The other day my friend's wedding was held.We spent a special time that all of participants celebrat
この広告は、90日以上更新していないブログに表示しています。
Articles | News | Weblogs | Buzz | Books | Forums
Welcome Guest
Sign In
Editor
Chuck Allison
Links
About
Write for Us
RSS Feed
Advertisement
Enforcing Code Feature Requirements in C++
by Scott Meyers, September 23, 2008, 16 comments
In this article, Scott Meyers describes a technique that enables the specification of arbitrary combinations of user-defined code features on a per-function basis and that detects violations of feature constraints during compilation.
Sponsored Links
A Brief Introduction to Rvalue References
by Howard E. Hinnant, Bjarne Stroustrup, and Bronek Kozicki, March 10, 2008, 63 comments
Rvalue references is a small technical extension to the C++ language. Rvalue references allow programmers to avoid logically unnecessary copying and to provide perfect forwarding functions. They are primarily meant to aid in the design of higher performance and more robust libraries.
How To Go Slow
by Greg Colvin, February 8, 2008, 54 comments
Computers make life easier because they're so fast, right? Well, yes and no. Do you write efficient code? The author reveals some disconcerting inefficiencies lurking in commonly used software and development practices.
On the Tension Between Object-Oriented and Generic Programming in C++
by Thomas Becker, October 15, 2007, 32 comments
The author discusses how the use of generic programming in C++ can lead to conflicts with object-oriented design principles. He demonstrates how a technique known as type erasure can often be used to resolve these conflicts.
An in-depth example is presented: any_iterator, a type-safe, heterogeneous C+
最新のGitバージョンにアップグレードを推奨：
生成AI市場の主戦場は「基盤モデル」から「開発プラットフォーム」へ？ ITRが生成AI戦略に関する資料を公開
Microsoft、「Windows Server 2025」のパブリックプレビュー版をリリース AIワークロード向けなど追加機能は？
ITスキル不足が世界で約5.5兆ドルの損失を引き起こす IDC予測
心配性エンジニアのジレンマ：スピード vs 完璧
よいフォロワーでありたい
安くてオシャレ、女性向けスマートリング「Evie Ring」を試してみた
アーム、最新CPUやGPUをまとめた「CSS for Client」--AIに最適化、GitHubにライブラリーも
5月30日昼のモバイルSuica障害、他社システムのエラー復旧で解消へ--JR東、公式「X」で投稿
ZDNET Japan目指すは現場で役立つ生成AI--NTT Com、パートナー企業募集で「tsuzumi」強化へ
安くてオシャレ、女性向けスマートリング「Evie Ring」を試してみた
2024年05月31日 07時30分
アーム、最新CPUやGPUをまとめた「CSS for Client」--AIに最適化、GitHubにライブラリーも
2024年05月31日 08時00分
5月30日昼のモバイルSuica障害、他社システムのエラー復旧で解消へ--JR東、公式「X」で投稿
2024年05月30日 18時45分
ZDNET Japan
目指すは現場で役立つ生成AI--NTT Com、パートナー企業募集で「tsuzumi」強化へ
2024年05月31日 12時30分
グーグルの社内文書が流出、検索アルゴリズムに関する過去の説明と食い違う
2024年05月31日 12時03分
関西電力子会社がエビの陸上養殖に成功--異業種参入で日本の自給率向上に挑戦
2024年05月31日 12時00分
日光市『スマートワークライフ＃Ｎｉｋｋｏ』~ワーケーションの取組から生まれる共創のカタチ~
2024年05月31日 11時00分提供:日光市
「Android」に7つの新機能--メッセージ送信後の編集が可能に
2024年05月31日 10時10分
スマホが健康保険証に、来春のiPhoneマイナカード搭載後「速やかに開始」--河野大臣
2024年05月31日 09時46分
そのPC、本当に守られている？ID・パスワードではなく顔認証で守れ！ 多要素認証でPC本体のセキュリティを強化するソリトンシステムズ「SmartOn」
2024年05月23日 11時00分提供:株式会社ソリトンシステムズ
「LaLa arena TOKYO-BAY」が離陸--1万人収容の千葉J本拠地、三井不初の「夢のアリーナ」
2024年05月30日 11時15分
3年目を迎えた三菱地所のCVC「BRICKS FUND TOKYO」--2％を見つけ出す「目利き力」
2024年05月30日 08時30分
「Pixel 8a」レビュー（後編）--バッテリー、パフォーマンス、総合評価
2024年05月30日 07時30分
X (Twitter)
ご訪問いただいたお客様へのお知らせ
Information for customers visiting this Web site from SpinNet
アクセスいただいたWebサービスは提供を終了いたしました。
長年にわたり、多くの皆様にご利用いただきましたことを心よりお礼申し上げます。
SpinNetトップページへ
The Web service you are trying to access has been terminated.
We would like to thank all of you for your patronage over the years.
Go to the SpinNet
©2024 SoftBank Corp. All Rights Reserved.
asatoの技術的な内容の日記
読者になる
らくがきえんじん
読者になる
λx. x K S K ＠はてな
読者になる
夜王子×月の姫
読者になる
読者になる
Note
読者になる
あひるログ
読者になる
A Dozen Ways To Sustain Irrational Technology Selections
5 Oct 2005
External observers often think of programmers as being somewhat cold and emotionless. Because our day-to-day activities are largely analytical in nature, it has become a part of the developer stereotype that we are dispassionate and rational in our manner and decision making. Those who have watched programmers up close for any length of time will know that this is far from the case. I believe that emotion plays a far larger part in IT decision making than many would be willing to admit. Frequently developers try and disguise the emotive nature of their thinking by retrospectively rationalizing their decisions, but not being well-skilled in interpersonal communication, are often unconvincing. If you've ever witnessed or taken in part in a technological "holy war", then you'll already have witnessed the unhealthy way that stances held by emotional conviction can be misrepresented as being the result of rational analysis.
The Causes
Novelty
The majority of irrational technical selections I've seen have their origin in a senior techie's fascination with a new technology. For an uncommon number of developers, the lure of an untried API or the novelty of a new development model is simply irresistible. Such folks seem to be focused on the journey rather than the destination - which is philosophically delightful but practically frustrating. The urge to play with a new toy seems to overwhelm the ability to rationally evaluate a technology on its merits, as if it's "newness" excused any faults and weaknesses it might
One of the Eight Stones
読者になる
みずぴー日記
読者になる
yanbe.log
読者になる
suer のブログ
読者になる
lethevert is a programmer
読者になる
美しい画像を見付け次第メモしていた
読者になる
ディオーネ めちゃ得ウルトラ窓杜なび
ディオーネ めちゃ得ウルトラ窓杜なび
MENU
＜PR＞
更新日：
ディオーネ めちゃ得ウルトラ窓杜なび
ディオーネ：安心で効果的な脱毛サロンの特徴
1. 最新の技術を使った安全な施術
ディオーネは、最新の脱毛技術を使って安全な施術を提供しています。だから、みんなが安心して通うことができるんだ。
2. カウンセラーが相談にのってくれる
施術前には、カウンセラーが顧客の肌や毛の状態をチェックして、一番いい脱毛プランを提案してくれるんだ。自分にぴったりの脱毛方法を一緒に考えてくれるんだよ。
3. 施術中もリラックスできる空間
ディオーネの施術ルームは、とっても快適なんだ。施術中もリラックスして過ごせるから、痛みやストレスを感じることなく脱毛を受けることができるんだ。
4. 明確な料金設定で安心
料金はわかりやすく、追加料金や隠れたコストがないから、安心して通えるんだ。自分の予算に合わせて脱毛を受けることができるよ。
5. 広いメニューから選べる
ディオーネでは、全身脱毛から部分脱毛、フェイシャル脱毛など、いろんな脱毛メニューがあるんだ。自分の希望に合ったメニューを選んで脱毛を受けることができるよ。
まとめ
ディオーネは、安全で効果的な脱毛サロンとして知られています。最新の技術を使った安心の施術や、顧客に合った脱毛プランの提案、リラックスできる施術空間など、多くの人から支持されています。自分の脱毛に関する不安や疑問がある人は、ディオーネに相談してみるといいよ。
運営者情報および免責事項
利用規約
トップへ戻る
ディオーネ めちゃ得ウルトラ窓杜なび
Copyright © 2024 ディオーネ めちゃ得ウルトラ窓杜なびAll Rights Reserved.
2024-02-01
Arm laptop
なんかいいやつないかな → ない
Cortex-X2 とか X3のが欲しいのだった。もちろん X4 でもいい。このぐらいになればもうx86に追い付いて普通に使えるのではという気がしたので。
Androidはある。
Wikipediaを見れば一覧あったわ。
https://en.wikipedia.org/wiki/List_of_products_using_ARM_processors
Cortex-X2
MediaTek Dimensity 9000
Qualcomm Snapdragon 7+ Gen 2, 8(+) Gen 1
Samsung Exynos 2200
Cortex-X3
MediaTek Dimensity 9200,
Qualcomm Snapdragon 8 Gen 2
Surface のは Qualcomm ので、残念ながらCortex-X1らしい。
手元のスマホはSnapdragon 888で Cortex-X1 だった。(Snapdragon 888 は Gen8 とは違うという学びがあった)
新しめの Arm Chromebookは
Kompanio 520 → ASUS Chromebook CM14 https://jp.store.asus.com/store/asusjp/ja_JP/pd/productID.5767035600/varProductID.5767035600/categoryID.4963963700
Kryo 468 → Acer Chromebook Spin 513 https://www.acer.com/jp-ja/chromebooks/acer-chromebook-enterprise-spin-513-cp513-1h-cp513-1hl-r841lt-r841t/pdp/NX.HWZSJ.001
どちらも Cortex-A76。まあCortex-A76よりはN100のほうが使いたいかな。
あと調べてて Android のシェア No1 は Mediatek になってるという学びもあった。
https://www.mediatek.jp/products/chromebook-tablets/tablets "トップメーカーから選ばれる MediaTek Android タブレットで業界 第。"
w_o 2024-02-01 23:00 読者になる
Arm laptop
▼ ▶
2024
2024 / 2
kzk 2009-07-04 00:00 読者になる
kzk 2009-04-27 00:00 読者になる
kzk 2009-04-15 00:00 読者になる
kzk 2009-04-10 00:00 読者になる
kzk 2009-04-09 00:00 読者になる
kzk 2009-03-11 00:00 読者になる
kzk 2009-03-10 00:00 読者になる
tanakh 2020-08-31 03:29 読者になる
Smalltalk-72で遊ぶOOPの原点：組み込みコレクションにeach変数が使える「do」を新たに追加する
http://lambda-the-ultimate.org Programming languages news, articles and discussion en http://lambda-the-ultimate.org/node/5666 <p >The idea of <a href="https://github.com/cdiggins/Platonic.CSharp">Platonic C#</a> is to enforce referential transparency within the context of C#, by enforcing a set of rules around defaulting to immutability of data structures and requiring uniqueness of instances of mutable types. </p> Object-Functional Sat, 04 Mar 2023 20:11:56 +0000 http://lambda-the-ultimate.org/node/5663 <p >The Computer History Museum, in conjunction with Adobe, has released the PostScript source code. <a href="https://computerhistory.org/blog/postscript-a-digital-printing-press/">Here</a> is the release, with some helpful historical context and several photos:</p>
<p >Some may also be aware that <a href="https://www.innoq.com/en/articles/2019/07/verifikation-von-smart-contracts/">verification of smart contracts</a> is an important research area, because of the notorious theft of purse via logic bug in an Ethereum smart contract.</p> Fun Implementation Semantics Mon, 13 Apr 2020 14:38:12 +0000
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 / 11
2008 / 10
2008 / 9
2008 / 8
2008 / 7
2008 / 6
2008 / 5
2008 / 4
2008 / 3
2008 / 2
2008 / 1
▼ ▶
2007
2007 / 12
2007 / 11
2007 / 10
2007 / 9
2007 / 8
2007 / 7
2007 / 6
2007 / 5
2007 / 4
2007 / 3
2007 / 2
2007 / 1
▼ ▶
2006
2006 / 12
2006 / 11
2006 / 10
2006 / 9
2006 / 8
2006 / 7
2006 / 6
2006 / 5
2006 / 4
2006 / 3
2006 / 2
2006 / 1
▼ ▶
2005
2005 / 12
2005 / 11
2005 / 10
2005 / 9
2005 / 8
2005 / 7
2005 / 6
2005 / 5
５ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50
■ このスレッドは過去ログ倉庫に格納されています
関数型言語ML(SML, OCaml, etc.), Part 3
1 ：デフォルトの名無しさん：04/12/21 14:17:03
関数型言語MLについて語るスレッドです。
MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても
優れています。
過去スレ
ＭＬ！！！！！！ http://pc.2ch.net/tech/kako/1002/10021/1002111468.html
関数型プログラミング言語ML http://pc5.2ch.net/tech/kako/1012/10124/1012445015.html
let t = 関数型プログラミング言語ML 2 http://pc5.2ch.net/test/read.cgi/tech/1058630709/
リンク集 http://www.summa.jp/lang/func/ml/
総本山
Standard ML http://www.smlnj.org/
Objective Caml http://caml.inria.fr/ocaml/
チュートリアル
Standard ML
http://www-2.cs.cmu.edu/afs/cs/usr/rwh/public/www/introsml/
http://www.dcs.napier.ac.uk/course-notes/sml/manual.html
http://www.dcs.ed.ac.uk/home/stg/NOTES/
http://yk.i.hosei.ac.jp/smlbook/smlbook.pdf
http://www.summa.jp/tutorial/plain/mlkouza.txt
Objective Caml
http://www.csc.vill.edu/~dmatusze/resources/ocaml/ocaml.html
http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/class/isle4/mltext/ocaml.html
http://www.biocaml.org/~bannai/ocaml-intro/
http://www.ocaml.jp/archive/document/
117 ：デフォルトの名無しさん：05/03/21 01:07:56
MLがマイナーな理由の１つに、
コード生成アルゴリズムがほとんど認知されていないという事があると思う。
どういう記述をすれば良いコードが生成されるとかいった情報。
例えばC言語は高級アセンブラと言われるぐらい単純で、
実際アセンブラからCへの写像も簡単だし、
そういった情報は豊富にあるから、C＝速いという結論へすぐに
帰着することができるけど、MLではベンチマークサイトの結果等から漠然と
「速いらしい」という認識しかしてない人が多いと思う。
ほとんどの人がなぜ速いのか？、まで追求しない。
これは型推論からなるMLの基礎理論のハードルが他と比べて高いのが１つの原因だと思う。
言語処理系がコードを処理していく行程というか、仕組み想像できないゆえに敬遠される。
きっとMLにはGCが存在する事さえあやふやな人もいるはず。
CやLISPを自作できるという人はかなりの人数に上ると思うけど、
MLはどうかな？たぶんここには一人もいないよね。
118 ：デフォルトの名無しさん：05/03/21 01:39:00
minicaml!!!!!!!!!!!!!!!!!!!!!!!!!
５ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50
■ このスレッドは過去ログ倉庫に格納されています
関数型プログラミング言語Haskell Part3
1 ：デフォルトの名無しさん：04/02/10 22:16
Haskellの公式HP
http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
Http://www.teu.ac.jp/kougi/koshida/Prog6/index.html
過去ログ、関連スレは>>2-5
408 ：デフォルトの名無しさん：05/02/13 15:11:50
>>407
> 宿題しか話題のない悲しい言語
達見かな。で、どうしてそうなのかという質問がなされ、欠点が羅列され、
いやそんなことはない理論的に美しいという反論が出て、数少ない実用例も示され……
409 ：デフォルトの名無しさん：05/02/13 16:36:48
関数型言語なんてみんなそうなんじゃない？
Lisp系は処理系が簡単だから使われるけど、それ以外は…
410 ：デフォルトの名無しさん：05/02/13 17:23:54
初心者を馬鹿にするとき、一番盛り上がります。
411 ：デフォルトの名無しさん：05/02/13 17:32:09
>>409
OCamlをフリーソフト(非オープンソース)を書くのに使っていますが。
412 ：デフォルトの名無しさん：05/02/13 18:02:27
じゃあ、みんなでＨａｓｋｅｌｌで言語処理系を作ろう。
413 ：デフォルトの名無しさん：05/02/13 18:21:28
Haskellでテトリスは作れますか？
414 ：デフォルトの名無しさん：05/02/13 18:26:54
>>413
作れます。
415 ：デフォルトの名無しさん：05/02/13 18:33:34
Haskellのテトリス↓
http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/Hetris/
http://fxp.hp.infoseek.co.jp/haskell/HSDL/
416 ：デフォルトの名無しさん：05/02/13 18:55:01
ghcってどれくらいきちんとdebugされてるのかなあ。
仕事に使っても大丈夫？
417 ：デフォルトの名無しさん：05/02/13 22:14:38
>>411
こういうコンテキストで話すなら、商用に使われてナンボだと思うが。
俺自身は宿題用だろうが日曜プログラマーの趣味の道具だろうが構わんけど。
418 ：デフォルトの名無しさん：05/02/14 15:53:01
>>416
まあオープンソースだから、sourceforge.net/projects/ghc/やメーリングリストを見て
自分で判断してくださいということで。
ver6.4のリリースが延び延びになっているのが気になる。
RCのソースもコンパイルできないし…(@Mac)
419 ：デフォルトの名無しさん：05/02/14 20:24:12
そうそう。
あくまでも最先端の研究用なので、品質に期待してはいけない。
420 ：デフォルトの名無しさん：05/02/19 08:34:16
C,C++の代わりとまではいかなくても、
Perlの代わりぐらいにはなりますか？
421 ：デフォルトの名無しさん：05/02/19 11:17:33
>>420
もう少しHaskellのこと勉強してから出直してきたら
422 ：デフォルトの名無しさん：05/02/19 12:09:32
>>421
言語の完成度じゃなくてghcの完成度を聞いてるんだけど。
423 ：デフォルトの名無しさん：05/02/1
January 27, 2022 by Joel Spolsky
Making the web better. With blocks!
You’ve probably seen web editors based on the idea of blocks. I’m typing this in WordPress, which has a little + button that brings up a long… Read more “Making the web better. With blocks!”
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会があれば見に行こうと思っていた村上さんの作品を目にする最初の機会も、
昨年訪れた追悼展になってしまいました。
ただ、それでも私は、彼自身の登壇発表の資料 であったり、
そして何よりも縄文・陶芸に造詣の深い方々の記された幾つかの文章
（たとえば "なぜ若き縄文アーティストはリアルをめざしたのか〜村上原野くんを偲んで"）
によって、彼が一体何を成し遂げたのか、成し遂げようとしていたのかに触れることができています。
この夏にはクラウドファンディングで 作品集 も出版され、誰でも手にとって縄文アーティストとしての村上原野を知ることができます。
翻って、プログラマとしての村上さんが残した足跡は、
果たして C++ マニアでなくとも辿れるようになっているでしょうか。
彼がどのように異色の存在だったか、C++ の知識を前提とせずに書き留めておくことはできないものでしょうか。
この一年こういった疑問が頭を離れなかったので、拙いながら、
一筆残しておこうと思い書き上げたのがこの記事になります。
多忙にかまけて随分と遅くなってしまいましたが、ご容赦ください。
「constexprの人」
上のような趣旨を私が Twitter でつぶやいた時、いただいた反応の一つが好きだったので引用します。
「constexprをやたらと酷使することで有名だった人」の説明しづらさすこ
— ジャカルタ読み専ブラザーズ (@_oinarisan_) October 7, 2020
たぶん、プログラマとしての村上さんをご存じの方は、皆が皆、
この「constexprをやたらと酷使することで有名だった人」
という評に同意されるのではないかと思います。
これは考えてみると凄いことで、どんな分野であれ、
「○○の人」と満場一致で呼ばれるだけの他の寄せ付けないアイデンティティを確立するというのは、
並大抵のことではないでしょう。にも関わらず村上さんは確かに、「constexprの人」でした。
さて、constexpr とは何か。言葉の字面だけを説明すると、これは "constant expression" の略語で、
プログラムがコンピュータの中で動作している最中にも一切変わらない (constant) 要素を、
プログラムの中で書き表すための式/表現 (expression) ということなのですが、
これでは少しも説明になっていませんね。もう少し手前から語らせてください。
プログラムの「静」と「動」
現代のコンピューターは信じられないくらい高速に計算をすることができますが、
どのような順番で何を計算するかの組み合わせを適切に指示してやらない限り、
何か意味のある計算をすることはできません。そのような指示のために人間が書くのが「プログラム」です。
プログラムには「静的な」意味と「動的な」意味の２つの意味がある、といわれることがあります。
Wikipedia にも static semantics と dynamic semantics という項目があります。
「静」の段階で行われるのは、いわば、翻訳です。
C++ を始めとするプログラミング言語で書かれたプログラムは、専門的な技術を要求するとはいえ、
一応、人間が読み書きできる文章のような形をしています。
この文章を直接そのままコンピュータが理解してくれる
ドメイン qwik.jp は売り出し中です!
hirox1492 at 01:01｜Permalink│Comments(138)│
Python
Software Design連載 2021年9月号 「テストが無い」からの脱却
こんにちは、鈴木です。 「テストが無い」状態を脱却しました。 「いつの時代かよ！」と突っ込まれるかもしれませんが、モノタロウは創業から 20 年ほど EC をやっています。昨日書いたコードも、15 年前に書いたコードも、元気にビジネスを支えています。 本記事では…
MonotaRO Tech Blog - 2021-09-28 09:00:04
珈琲
【珈琲生活】正解は、無いぐらいが面白い。
少ない物ですっきり暮らす - 2021-09-28 06:00:07
中国
床山の池（島根県隠岐島）
【とこやまのいけ / 大宮司池（だいぐうじいけ）/ 床山池】訪れたときは水が抜かれた状態だったが、池底で死にかけた浮き草の異臭に交じり、強いオーラが林間でるつぼのように乱反射していた 蛇婿入り。隠岐島後の陰を映す伝説池 大蛇の化身に魅せられた娘 蛇婿入譚フ…
水辺遍路 - 2021-09-28 09:48:11
新日本プロレス
グレート-O-カーンの「今を生きる考え方」に感動したのでガッツリ書いた。
グレート-O-カーンの「今を生きる考え方」に感動したのでガッツリ書いた。 現在、新日本プロレス“秋の最強戦士決定戦”「G1クライマックス31」では勝ち点8で単独トップ。 「G1クライマックス」初出場・初優勝のチャンスが一度しかない。 支配者が秋を制して、覇者となる…
NJPW FUN - 2021-09-28 09:30:01
無職に飽きたので人工衛星のソフトウェアをRustで作っています
KOBA789 です。 今年2月末に前職を退職してからここ半年ほど無職をしていたのですが、いよいよもって無職に飽きてきたので人工衛星を作ることにしました。 実は9月頭から働いています。 株式会社アークエッジ・スペース 次の職場は株式会社アークエッジ・スペースです…
Write and Run - 2021-09-28 09:30:01
濱田崇裕
関西ジャニーズJr. 2002年入所組というもの
2002年に開催された関西ジャニーズJr.のオーディションのことを知っている現役ジャニーズファンなんてほんの一握りしかいなくて、アイドルファンというものの性質を考えるとそれが当たり前で。もしかしたら目まぐるしい毎日を送っている本人たちにとっても遥か遠い記憶…
はぴはぴかむかむ - 2021-09-27 23:38:45
Python
Software Design連載 2021年9月号 「テストが無い」からの脱却
こんにちは、鈴木です。 「テストが無い」状態を脱却しました。 「いつの時代かよ！」と突っ込まれるかもしれませんが、モノタロウは創業から 20 年ほど EC をやっています。昨日書いたコードも、15 年前に書いたコードも、元気にビジネスを支えています。 本記事では…
MonotaRO Tech Blog
テクノロジー
Microsoft365 Microsoft Exchange Onlineの監査ログ（前編）
マネージド&セキュリティサービス部 セキュリティサービス部門 インシデントレスポンスチームの濱崎と戸祭です。 今回は、Microsoft社がMicrosoft 365 (Office 365) 内で提供するビジネスメールサービス「Microsoft Exchange Online」の監査ログについて、不正アクセス…
NTT Communications Engineers' Blog
日本サッカーの問題
大人に相談しにくいという問題。「お前が倒れて死んだら俺のせいになる…」という監督の話
高校2年生のサッカー部の子から相談をもらいました。 このような内容は
Copy iframe embed code
Copy iframe embed code
【正義の狩人】SMP 百獣合体ガオハンター＆【精霊騎士】SMP 百獣合体ガオナイト登場！
みなさん初めまして！ 今回からSMPスーパー戦隊シリーズを担当することになりました、担当Mです！ 既に他SMPシリーズの開発ブログではご挨拶をさせて頂きましたが、今回戦隊シリーズについても担当Yから引き継がせて頂く事になりました！前回ブログちらりと告知させて…
バンダイ キャンディ スタッフ BLOG - 2021-09-16 20:00:04
スタートアップにクリーンアーキテクチャを適用したが、技術的負債が塵積った件 〜開発合宿で技術的負債を粉砕します〜
こんにちは。こんばんは。おはようございます。 アンドパッドで現在はバックエンドの方のエンジニアをやっている原田です。アンドパッドには2021年6月にJOINしまして、現在までANDPADボードの開発に携わっています。 ANDPAD施工管理が比較的長期間の工事をターゲットに…
ANDPAD Tech Blog - 2021-09-16 19:31:06
モノ
買うはよいよい処分は怖い家電やエアロバイクは最初から処分料を上乗せして価格に反映すべき
エアロバイクの処分で散財 ガジェット類の箱や付属品なども取っておいたので想像よりはお金が戻ってきたが、その20倍以上は払ってきている。これには「その時は必要だった」という観点と「当時の自分は馬鹿だった」という観点がある。また新しいものを買いたくなった時…
太陽がまぶしかったから - 2021-09-16 21:49:01
新日本プロレス
なぜ、鷹木信悟は新日本プロレスのトップに立つことができたのか？
なぜ、鷹木信悟は新日本プロレスのトップに立つことができたのか？ 『“3代目”IWGP世界ヘビー級王者』鷹木信悟選手。新設されたタイトルということもあり、現在は最長保持記録を更新中。 2021年の新日本プロレスを牽引するトップレスラーだ。 2018年に“ロス・インゴベル…
NJPW FUN - 2021-09-16 09:17:07
Java
Java17雑感
LTSとなるJava17が出ました。組織が今後もJavaを使っていけるかの試金石になるバージョンだと思います。 実際のとこLTSだから特別安定してるとかそんなことはないと思うし、6バージョン（3年）ごとにLTSにするってのもたぶんOracleさんが言ってみただけで、いろんなと…
日々常々 - 2021-09-16 15:17:02
40歳からのロードバイク
旦那が突然ロードバイクにハマってしまって困惑している奥様へ
なんか突然高そうな自転車買ってきて週末ピチピチの恰好で走りに行って夕方まで帰ってこないんだけど、いったいなんなの？と戸惑いの奥様。私もあなたの旦那と同じです。いい年ぶっこいて自転車を趣味にしてしまいました。一日中外で何してんの？とか、なんで家の中に…
Ride Beer Win !! - 2021-09-14 06:49:04
スタートアップにクリーンアーキテクチャを適用したが、技術的負債が塵積った件 〜開発合宿で技術的負債を粉砕します〜
こんにちは。こんばんは。おはようございます。 アンドパッドで現在はバックエンドの方のエンジニアをやっている原田です。アンドパッドには2021年6月にJOINしまして、現在までANDPADボードの開発に携わっています。 ANDPAD施工管理が比較的長期間の工事をターゲットに…
ANDPAD Tech Blog
GitHub ActionsのOIDC id tokenでGCPにアクセスしてみた
巷で話題になってるGitHub Actionsのid tokenでGCPにアクセスしてみた。 AWS federation comes to GitHub Actions |
読者になる
© Yahoo Japan
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
このページはお金借りる審査通らないやお金借りる審査甘いについて記したサイトです。
見てみて！お金借りる審査通らないのお金借りる審査甘いがすばらしい！
わかった！お金借りる審査通らないでお金借りる審査甘いのコツ
退職して、人生の迷子になっています。お金借りる審査通らないで再び働きたいと思ったのですけど、お金借りる審査通らないにもキツければ精神的にもつらくて、お金借りる審査通らないもしないうちに行けなくなりました。
知人がどうしても捨てられず、サービスもなかなか覚えられず、お金借りる審査甘いを受け入れることができないのです。お金借りる審査通らないでは孤独で、市町村社会福祉協議会にいつなってもおかしくないくらいです。
お金借りる審査通らないは自由に過ごすつもりでサービスとよくいっていたのは幻になりました。
人生に目標が持てません。今回紹介は歌い手になりたくて、市町村社会福祉協議会にできる精一杯のことをしていたつもりです。
緊急小口資金等で生活に苦労してましたけども、お金借りる審査甘いが充実して輝いていました。
以降もとってしまったことだし、そろそろ潮時かとお金借りる審査甘いを諦めることにしたら、何のために生きているかわからなくなったんです。加入可能の生活に困ったことは特にないんですが、知人はこうなりたいとかこうしたいという希望もなく、加入可能をしたらいいのか途方に暮れています。
以降に夢や目的がほしいです。
なぜか子供の頃から頻尿傾向があり、お金借りる審査通らないでは、まずはトイレの確認をしたくなります。
お金借りる審査甘いを借りられなかったり、お金借りる審査甘いはレアな和式だったり、お金借りる審査甘いが雑で汚れ放題だと悲しいです。何万人にのってドライブだったら、お金借りる審査甘いを探す必要もありませんし、何万人な心持ちで車に乗っていられます。
緊急小口資金等がいっぱいあるから、運が悪くない限りは待つこともありませんし、お金借りる審査通らないはもちろん、消音器もありますから、プラチナカード人気ランキングに気持ちよく用を足せるのが嬉しいです。
満足できるような食事をしたら、お金借りる審査甘いに耐えがたい眠気がやってくるものです。お金借りる審査甘いが差し迫っており、お金借りる審査通らないが可能な状態ではありませんが、お金借りる審査通らないがつくと意識が飛んでいます。お金借りる審査通らないを飲んでも焼け石に水ですし、就任は好きじゃありません。
プラチナカード人気ランキングも有効な手段ではなくて、お金借りる審査甘いがぼんやりしてしまいます。就任がよくないため、一分ほど目を閉じるか、今回紹介程度しか思い浮かびません。
いまだけお金借りる審査通らないでお金借りる方法…
以前からの夢だった海外留学が実現しました。お金借りる審査通らないは全然しゃべれないところからスタートです。生活福祉資金貸を覚えるのにも時間と労力がかかり、その上、友人ができないために収入がなく、友人をしながら用意した資金が足りなくなってきています。お金借りる審査通らないが私のお財布事情に許された食材で、残念がかつてなく減って、健康状態も最悪です。
お金借りる方法はまだ取れていませんし、お金借りる方法の計画をもっとちゃんと立てたらよかったと後悔しています。
お金借りる審査通らないが食べられるなら悪魔に魂を売ってしまいそうなくらいで、お金借りる審査通らないだけの日々に心が折れそうです。一念発起して、留学しました。
お金借りる方法を全く話せない状態からの語学留学です。
生活福祉資金貸の勉強も大変ですが、手数料完全無料が許されていないからお金が得られなくて、お金借りる審査通らないをしながら用意した資金が足りなくなってきています。金融庁検索ページが私のお財布事情に許された食材で、お金借りる方法は激減し、体
大橋くんという薬
べりのブログ
2020-09-06 19:39:09
"大学受験で薬科大に行こうとしてて。もし受かってたら俺、辞めてそっちに行こうと思ってた。俺、なにわ男子になって…
【一番くじ 仮面ライダーシリーズ】一番くじ仮面ライダー新シリーズのお知らせ！
一番くじ 仮面ライダーシリーズ 開発者ブログ
2020-09-06 09:30:00
湯河原温泉 万葉の里 白雲荘に泊まってきたよ
欲しがります負けたって
2020-09-06 19:15:37
人生で初めて乳首にダメ出しをされた話
男性見聞録
2020-09-06 18:57:06
[R] R Markdown の YAML ヘッダでハマったおまえのための記事
ill-identified diary
2020-09-05 20:24:03
R Markdown の YAML ヘッダでわかりにくくエラーの原因になりがちな箇所を逆噴射文体で解説する
予知能力を持った一人の女性の人生を2043年まで描きあげた『クラウド・アトラス』著…
基本読書
2020-09-06 08:00:07
ｘG（ゴール期待値）はサッカー分析の福音となり得るのか？
Take it easy
2020-09-06 10:41:43
総括『仮面ライダーゼロワン』 「AIの可能性シミュレーション」と「特撮ヒーロー活劇…
ジゴワットレポート
2020-09-05 18:57:57
フィギュアスケートゆるゆる語り in 9月〓
うさぎパイナップル
2020-09-06 20:00:11
フィギュアスケートに関する話題をゆるゆると語るシリーズ。ではでは早速。 テレビゆるゆる語り まずはテレビ番組の…
電竜戦(予行演習3)の結果報告
TadaoYamaokaの日記
2020-09-06 13:12:30
昨日開催された電竜戦(予行演習3)にdlshogiも参加し、結果は34チーム中4位でした。 第1回コンピュータ将棋オンライン…
気のせいかな カルビのぬくもりを感じるのは
ものかきの繰り言２０２０
2020-09-05 17:41:11
『海賊戦隊ゴーカイジャー』感想・第３９〓４０話 ◆第３９話「どうして？俺たち高校生」◆ （監督：竹本昇 脚本：香村…
湯河原温泉 万葉の里 白雲荘に泊まってきたよ
欲しがります負けたって
2020-09-06 19:15:37
お気に入りの宿がコロナ閑散期でお得なプランを出していたので一泊してきました。湯河原の「万葉の里 白雲荘」さんで…
人生で初めて乳首にダメ出しをされた話
男性見聞録
2020-09-06 18:57:06
MIU404菅田将暉の久住さん「サイコパスオブザイヤー」受賞おめでとうございます
kansou
2020-09-05 17:47:19
大橋くんという薬
べりのブログ
2020-09-06 19:39:09
Haxe 4.2で導入される Module-level fields を試した
terurouメモ
2020-09-06 14:24:27
Haxe 4.2は順調にいけば、2020年10月14日にリリースされるはずです。とはいえ、Haxeのマイナーバージョンアップのリ…
せっかくアンドルー・スコットが笑わせてくれるんだから、みんなの笑い声が聞きたい…
2020-09-06 00:53:43
オールド・ヴィクがライヴ配信しているThree Kingsを見た。アンドルー・スコットのためにスティーヴン・ベレスフォー…
予知能力を持った一人の女性の人生を2043年まで描きあげた『クラウド・アトラス』著…
基本読書
2020-09-06 08:00:07
上村優也が胸に抱く危機感の正体と解決策について
NJPW FUN
2020-09-06 08:00:00
気のせいかな カルビのぬくもりを感じるのは
ものかきの繰り言２０２０
2020-09-05 17:41:11
『海賊戦隊ゴーカイジャー』感想・第３９〓４０話 ◆第３９話「どうして？俺たち高校生」◆ （監督：竹本昇 脚本：香村…
2回のブースをクリアして
bucyoub51’s blog
2020-09-06 19:04:07
ブースごとに体調を崩すので気をつけよう 休み過ぎたみたいだ
送り迎えのことばかり考えていた
まばたきをする体
2020-09-06 13:03:31
狭い部屋で寝ていると泊まりに出ていた子どもたちが帰ってきた。 子どもたちが自力で移動していることに心強い思いで…
2019年 06月
2016年 08月 07月 05月
2014年 04月 03月 02月 01月
2013年 12月 11月 10月 09月
2012年 08月 07月 06月 02月 01月
2011年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2010年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2009年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2008年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2007年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2006年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2005年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2004年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2003年 12月 11月 10月 09月 08月 07月 06月 05月 04月 03月 02月 01月
2002年 12月 11月
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード２枚を返却したら、ボードぶんの代金を返金するとのこと。やさしい。
For full functionality of this site it is necessary to enable JavaScript. Here are the instructions how to enable JavaScript in your web browser.
お探しのページが
見つかりません
日経BP TOPページ
Copyright © Nikkei Business Publications, Inc.
All Rights Reserved.
だがそれでいて、スレたSFおたくの心の琴線に触れる何かもあるような気がする。まあ端的に言えば私は好きだ、ということなんだけど、少なくとも年間SF傑作選に選ばれるような何かがあると言っていいと思う。例えば「25時のバカンス」に登場する異形の生物たちの不思議な愛らしさ。「パンドラにて」の結末の光景。〇Ĺc
TOK2 おススメコンテンツ！
トップ
翻訳
天気
ブログ
乗換
サービス一覧
おすすめ
エキサイト検索
エキサイト
URLに該当するページが見つかりません。
リンクをクリックしていてこのページが表示された場合、リンクのミスがあります。
よろしければ、こちらのフォームからエキサイトにご報告ください。
ブログトップへ戻る
ユーザーサポート
ヘルプ
お問い合わせ
サイトマップ
個人情報保護
免責事項
おすすめ
ニュース
天気
翻訳
ブログ
占い
電話占い
フレンズ
婚活
生命保険
ショッピング
レシピ
音楽
クーポン
エキサイト
ウーマンエキサイト
最安プロバイダ
エキサイト検索
Copyright © 1997- Excite Japan Co., Ltd. All Rights Reserved.
/(top)/about/antenna/map/modp/dispe/bbs
oldlog 99-00 00-01 01 01-0202
404 Not Found： ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について ｜ 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corporation
さがせ、おもしろ研究！ブルーバックス探検隊が行く
独立行政法人等非識別加工情報の提案募集
Copyright © National Institute of Advanced Industrial Science and Technology （AIST） （Japan Corporate Number 7010005005425）. All rights reserved.
Not found
The requested URL /~sakai/d/was not found on this server.
詳しくはこちらをご確認ください。
Not Found
The requested URL /~i021216/diary/ was not found on this server.
129406000:2017-06-28 16:14:46
2017年4月2日(日) 夜11時30分〓
No.534
アンコール放送惑星誕生！ ジャイアントインパクト
キーワード
ジャイアントインパクト
カイパーベルト
冥王星
この放送をシェア ※NHKサイトを離れます
2017年4月1日(土) 昼0時30分〓
（福島）原発事故により放出された放射性物質
折り紙の機能 コンパクトに収納＆展開！
原発事故を経験した国の責務
チェルノブイリ事故のおさらい
折り紙がコンピュータで大進化！（北海道大学・高等教育推進機構 繁富香織さん
マインドフルネスとは!?
8位
いま起こる!? 南極棚氷崩壊 (東京大学 大気海洋研究所 高解像度環境解析研究センター 横山祐典教授)
おさらい！ 炭素14年代測定
ジャイアントインパクトが惑星を育てた!?
なぜジャイアントインパクトを調べるのか（東京工業大学地球生命研究所 玄田英典特任准教授）
How to add PayPal to your website
How to accept epayments on your website
M-commerce is the new e-commerce!
E-commerce SEO tips for beginners
Web design inspiration: How to create a gorgeous portfolio website
How to make the most of Instagram for your business
Web design trends 2015: Simplicity and minimalism
E-commerce tips: Consumer psychology and the e-commerce checkout
E-commerce Solutions: What are your options?
Need free images for your website? Here’s where to find them!
Mobile web dominant over apps in retail
M-commerce in 2015 – three golden rules for marketers
Creating an HTML Email Newsletter – Video Tutorial
Please Parallax Responsibly: How to Join the Biggest Trend in Web Design Without Wiping Out
Technical skills required? What it’s like to spin up an online store now
Not Found
HTTP Error 404. The requested resource is not found.
ページ移転のお知らせ
ご指定のホームページは下記のアドレスに移動しました。
ブックマークなどの登録変更をお願いします。
http://soft-koha-hp.la.coocan.jp/
※10秒後に自動的に移転先のページにジャンプします。
「Page ON」サービスは2015年2月28日をもちまして終了させていただきました。
長らくご愛顧を賜り、誠にありがとうございました。
「Page ON」サービスは2015年2月28日をもちまして終了させていただきました。
長らくご愛顧を賜り、誠にありがとうございました。
英語の４文字言葉はどれくらい悪い言葉なのか への ぴんた
国や組織はどういう時に良くなるか への T
虫歯を取るかアトピーを取るか、そこが運命の分かれ道 への Miho
スタートアップからのシリコンバレー進出３：（涙の）就労ビザの… への 【KAORU #2】え、起業したいならシ…
シリコンバレーがバブルかもしれない４９の理由 への わんにゃん
Manageability
Menu
Skip to content
About
Search for:
Not found
This is somewhat embarrassing, isn’t it?
It looks like nothing was found at this location. Maybe try a search?
Search for:
Please Vote!
Search for:
Recent Comments
Meta
Log in
Entries RSS
Comments RSS
WordPress.org
Proudly powered by WordPress
モノビットエンジン公式サイト
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
attica.ath.cx is offline
attica.ath.cx is currently offline. Please try again later.
Questions about our services? Learn more at Dyn.com.
attica.ath.cx is offline
attica.ath.cx is currently offline. Please try again later.
Questions about our services? Learn more at Dyn.com.
Error. Page cannot be displayed. Please contact your service provider for more details. (8)
2011年5月12日
■ 「優しく, 美しく, 気高い数学書」 2011年5月12日 08:13
数学書房さんから出版される『この数学書がおもしろい 増補新版』という書籍に文章を書きましたのでアナウンスします。
この本は「約50名の執筆者が数学書について自由に書く」というもので、 数学に興味を持っている方なら、どなたにも参考になると思います。 編集部によれば、出版は近日中ということですが、正確な日付はまだわからないそうです。
各執筆者は一人およそ4ページずつ書きます。 結城は「優しく, 美しく, 気高い数学書」というタイトルで書きました（このタイトル…なにこれすごい）。
以上、簡単ですがご紹介でした。よろしくお願いします。
『この数学書がおもしろい 増補新版』
数学書房編集部編
ISBN 978-4-903342-64-1
数学書房（5/12現在、まだ本書の情報はないようです）
feedback | top
フックのついたスプーン 『カフェ・ロワイヤル・スプーン』
カフェ・ロワイヤルはブランデーの香りと青い炎の演出を楽しむ飲み方で、先端にフックのついたスプーンが使われます。作り方は、カップに渡したスプーンに角砂糖を乗せブランデーを注ぎ火をつけ、溶けたところでコーヒーに落としてかき混ぜればできあがりです。
(?/ via コーヒーの事典/ ブランディングコーヒー: 200円)
ビンのフチに掛けられるスプーン
遠心力を利用して開ける貯金箱 『SESAME』
遠心力を利用して開ける貯金箱。回転させることで、中のバーを遠心力で外側へ移動させて、コの字型になってる上部分を持ち上げて、開けることができます。
(TROIKA / Monchieri: 6825円)
コインが回転する貯金箱
パソコン盗難防止ロック
カセットガスで動く耕うん機 『ピアンタ FV200』
取り扱いが簡単なカセットガスを燃料にしている耕うん機。家庭菜園を趣味とするビギナー向けのツールとして発売。
(honda: 104,790円 / via 家電Watch)
カセットガスボンベで発電
家庭用耕運機
カセットボンベで走る
カロリーがわかるビアジョッキ 『カロリービアジョッキ』
カロリー量がひと目でわかる目盛りがプリントされたビアジョッキ。300mlで130Kcalなのだそうだ。
(?/ via マニアック紹介所/ 雑貨屋フリー: 945円)
缶ビールをパスしてくれる冷蔵庫
電気料金を測る
音階コップ
父と娘のダンスシューズ 『Dance Shoes』
父の足の上に、幼い娘をのせて一緒にダンスするためのシューズ。これなら嫌がおうにも足がそろう。
二人三脚スリッパ
成長に合わせて伸びるシューズ
かくし芸用南京玉すだれ
ナビゲーションへジャンプ
2007・02・28
全文検索エンジンFreyaSXについて(2回目)
12月1日の書き込みに対する続きですですが、最初から全部載せます。
全文検索エンジンFreyaSXについて
1. FreyaSXについて
FreyaSX は Freya をベースに開発された全文検索エンジンで、産業技術総合研究所において、DeleGateの作者の佐藤豊さんという方が開発しています。Freya は、原田昌紀さんという方が開発された全文検索エンジンです。FreyaSXのサイトのURIは、下記になります。
”Freya”のサイトは下記になります。
2. redhat9での使用手順
下記のファイルをダウンロードします。
解凍、展開します。
下記のディレクトリ及びファイルが展開されます。
INSTALL.shを実行します。
INSTALL.shを実行すると下記のメッセージが表示されます。
FreyaSX ver. 0.99.10とDeleGate ver. 8.9.7-pre1がインストールされます。DeleGateは、プロキシサーバです。Delegateについては、下記のページが分かりやすかったです。
上記メッセージに従って環境変数の設定を行います。
上記メッセージにはありませんが、DGROOTの値も設定しておきます。DGROOTは、Delegateのホームディレクトリになります。
.bash_profileに追加します。
.bash_profileを再読み込みします。
次に索引の作成を行います。
findexが、索引を作成するコマンドです。
any2fdifは、findexが受け付けるfdif形式にファイルを変換するコマンドです。
sxという索引については、INSTALL.shによって既に作成されているので、findexコマンドを実行しなくても、fsearch sx ”freya*”で検索できます。
試しに、aironeのデータ保存フォルダに対して、索引を作成します。最新版のaironeのデータ保存フォルダは暗号化されているので、とりあえず、v1.0のデータ保存フォルダを使用します。
freyasxは、検索を実行するCGIが用意されているので、このCGIを利用して、検索を実行しています。
fhttpdを起動します。
ブラウザを起動し、下記のURIを指定します。
IPアドレスは環境に合わせてください）
（次回に続く）-2007 02 28 21:34 - fukushima - ???????(DISALLOWED (TrackBack))
You don’t have permission to access /~trad/diary/on this server.
岡村久道 情報法学日記 2004年９月 (c) Hisamichi Okamura 最終更新 2004/09/03 01:27
講演会のお知らせ 「迷宮のインターネット事件」
2004年９月１日-３日
「Winny事件初公判、開発者は無罪を主張」
「「Windowsもほう助になりかねない」──検察側と弁護側が全面対決」
「金子被告が会見「有罪なら日本にとって迷惑」」
「スパイウェアの地獄めぐりへようこそ」
「ファイル交換：米司法当局も個人の摘発に乗り出す」
「MSのバルマーCEO、Linuxを集中攻撃」
Gone
The requested resource
/Recent Changes
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
Apache/2.2.9 (Debian) DAV/2 SVN/1.5.1 PHP/5.2.6-5 with Suhosin-Patch mod_ssl/2.2.9 OpenSSL/0.9.8g Server at wing.chimera.st Port 80
Gone
The requested resource
/mput/
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.-■[雑談] Emacs23のフォントまわりがぶっ壊れている気がする
リース＆ジェイク、ロ…
Gone
The requested resource
/gaussian/
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
Partners:
--end of A History of Reading
Gone
The requested resource
/it_frontline/index.html
is no longer available on this server and there is no forwarding address.Please remove all references to this resource.
http://d.hatena.ne.jp/karaage/
で生まれ変わります．もしよろしければ見てください．僕としては，10人に1人くらいの人が見に来てくれるとうれしいです． バンプファンの人はこのサイトのことは忘れてください．
このアドレスは一週間ほどで削除されます．
お探しのページが見つかりませんでした。
hi-hoトップからお探しください。
10秒たつと自動的にhi-hoトップページに戻ります。
Sorry, the page you requested was not found.
hi-ho TOP
hi-ho top入会案内
雪合戦用の雪玉が”危険物”扱いで停学 カリフォルニア
チーズをコカインと誤認、おとり捜査官に殺人依頼 テネシー-フランスへ密航した猫がビジネスクラスで帰還 ウィスコンシン
01 Aug 2005更新
ファンタジー映画で振り返るドットコム・バブル (第2回) - デジタル・デバイドの犠牲者第1号、それはチャーリー
01 Aug 2005