|
|
|
|
|
||
|
||
すべて | グループ指定なし | ゆーきのアンテナ | sydのアンテナ | sydのアンテナ2 | others
Local AI
Running LLMs on your own hardware
By Mike Loukides, Claude |
May 1, 2026
article AI & ML
April 29, 2026
article
Don’t Automate Your Moat: Matching AI Autonomy to Risk and Competitive Stakes
By Marc Millstone, Claude |
Futurae Technologies AG Hochschulbibliothekszentrum des Landes NRW University of Oxford Fraunhofer Gesellschaft Department of Homeland Security Okta
Age-restrictions on the web and user privacy and safety
In this blog post, W3C CEO Seth Dobbs shares his thoughts about age-restrictions and user privacy on the web — a topic that was at the heart of the October W3C/IAB workshop on Age-Based Restrictions on Content, and recent W3C Members conversations.
Blog
W3C Establishes Representative Office in Shenzhen, China
News
W3C establishes Representative Office in Shenzhen, reinforcing commitment to open web standards in China
W3C opened a Representative Office in China following approval by the W3C Board of Directors, to fulfill a primary role in legal compliance and to expand the reach of W3C’s existing Partner Beihang University.
Press release
75歳・山本リンダの近況にSNS驚き
岸谷蘭丸、全国1位だった教科
JI BLUE、三つ巴の戦い
AKB48・花田藍衣、活動休止を発表
矢作穂香、結婚を発表
とぅるりぷ新グッズのファミマくじ
RIZINガール石川花音 グラビア
一之輔、『笑点』ギャラアップ希望
サレタ側の復讐第5話 あらすじ
『呪術廻戦≡』MAPPA制作のPV公開
HIKAKIN、芸名の由来を告白
『MAJ 2026』最優秀アーティスト賞
イ・ビョンホン、長女の歌唱に反響
がーどまん「YouTube引退します」
75歳・山本リンダの近況にSNS驚き
森香澄、妹との“顔出し”2Sに反響
岸谷蘭丸、全国1位だった教科
AKB48・花田藍衣、活動休止を発表
矢作穂香、結婚を発表
とぅるりぷ新グッズのファミマくじ
RIZINガール石川花音 グラビア
岸谷蘭丸、幼少期に発症した持病
細木数子の娘、再現度への声に言及
JI BLUE、三つ巴の戦い
ジャネット公演 香取慎吾ゲスト
日比谷音楽祭 第5弾 岡村靖幸ら
向井地美音、13年のAKB48人生に幕
キンプリ、メンノン40周年号で表紙
&TEAM最新アルバムが週間1位
JI BLUE、12人そろって両面表紙
INI最新シングル週間1位
櫻井優衣 1st SG「夏いぞん」
『最近のマック、なんか違う？』知られざる進化を徹底チェック！5年ぶり復活の“あの味”にも遭遇
今、“いつものマック”が、じわじわと進化している。しかもそれは、大きく姿を変えるのではなく、気づかないうちに体験の質を底上げしているタイプの変化と言えるかもしれない。今回はそ...
2026-05-01
｜ライフ｜
見た目のコンプレックスで毎日泣いていた中学生が“ワンホン美女”に、2年間の整形で得たもの「自分が納得できる選択を大切にしたい」
2年間の整形を経て、“ワンホン美女”のような華やかな雰囲気へと変化した千尋さん。中学3年生の頃から23歳の現在に至るまでのビフォーアフター投稿には、「TWICEのチェヨンちゃんに似て...
2026-05-01
｜ライフ｜
ロングヘアの「女の子」だと思っていたら…まさかの正体に美容師もスタッフも衝撃、変身後の姿が1638万回表示「美少年すぎる」「天使」
ロングヘアを見て女の子だと思っていたら実は男の子だった、という驚きのエピソードとともにイメチェン前後の写真がInstagramに投稿され、話題を集めている。投稿したのは美容師のtakum...
2026-05-01
｜ライフ｜
最近のマクドナルドは「愛されるレストラン」を目指す
オリコンタイアップ特集
充電器にも可愛さを！「e angle」ブランドって何？
SNSも仕事も趣味も充実！今買うべき最新パソコンとは？
『SAKAMOTO DAYS』映画化記念5巻無料！
（PR）コミックシーモア
沢口愛華
目黒蓮
長野博
小池里奈
堀北真希
酒井若菜
05/06(水)まで
05/06(水)まで
『PRODUCE 101 JAPAN 新世界』ファンブック《特...
【HMV限定特典：ランダムカード（全3種からランダム1枚）】
第1回順位発表...
大場花菜 『はなコミ！～となりにアイドル～』...
【開催日】2026年8月15日(土) ｜大場花菜『はなコミ！～となりにアイドル～...
“BeReal漏えい問題”で西日本シティ銀のサイトつながりにくく ネットバンクは親会社サイト経由で利用を
「高熱のときに見る夢」 マスク氏やザッカーバーグ氏の“顔”が4足で歩く、不気味なロボット犬がSNSで話題
クレカ番号入力なし、エージェントがドメイン購入からデプロイまでこなす時代へ Cloudflare新機能
BIM：
建設DXを加速させる「新型タフブック」登場 BIM用の外付けGPUモデルも
FILCOキーボードは不滅――台湾の受託生産者が修理／サポートを含む事業を承継
2026年4月30日
“BeReal漏えい問題”で西日本シティ銀のサイトつながりにくく ネットバンクは親会社サイト経由で利用を
「高熱のときに見る夢」 マスク氏やザッカーバーグ氏の“顔”が4足で歩く、不気味なロボット犬がSNSで話題
クレカ番号入力なし、エージェントがドメイン購入からデプロイまでこなす時代へ Cloudflare新機能
BIM：
建設DXを加速させる「新型タフブック」登場 BIM用の外付けGPUモデルも
FILCOキーボードは不滅――台湾の受託生産者が修理／サポートを含む事業を承継
UberがExpediaと提携 アプリ内ホテル予約「Hotels on Uber」など新機能を発表
行員が支店内でBeReal投稿した映像、Xで拡散 顧客7人の氏名流出 西日本シティ銀が謝罪
山口真弘のスマートスピーカー暮らし：
リモコンなし天井照明をスマート化 オーム電機の後付けリモコンスイッチが便利だった
銀行員が支店内部を撮影？ BeReal映像がXで拡散 西日本シティ銀「事実確認中」
中国スマホの“iPhone化”が進む理由 模倣を超えた「最適解」、乗り換え促進の「エコシステム戦略」に迫る
Meta、2桁台の増収増益 AI投資拡大で設備投資見通しを上方修正
Japan IT Week 春 2026：
128GBメモリ搭載のローカルLLM特化からレトロゲーム機風まで！ 中国発「ACEMAGIC」ブースで見つけた最新ミニPC
Amazon決算、AWS売上高28％増で成長率が過去15四半期最速に Anthropicの投資益で純利益は大幅増
Innovative Tech：
なぜ一部のAIモデルは「日本文化」に執着するのか？ 「4o-mini」などの出力が日本に偏る実態、欧州チームが研究発表
Alphabet、売上高22％増の1099億ドル AI需要拡大でGoogle Cloudが初の200億ドル超え
Innovative Tech：
そこにいない猫の「モフモフ」と「呼吸」を手で感じられる装置 “癒やし効果”は……東大が研究発表
小売・流通アナリストの視点：
アークランズ×ジョイフル本田統合の必然 寡占化73％時代の勝者は誰か
船も「CASE」：
小型船舶でも進む操船のシステム化、環境対応も浸透――ボートショー2026レポート
Microsoft、AI事業の年率換算売上が370億ドル突破 Azureは40％増
広告費ほぼ0円、なのに月10万DL 訪日客がこぞって利用する「Payke」はどんなサービスなのか？
ニトリの「300円カレー」が15万個突破 閉店したレストランの味がレトルトになったワケ
Google、「Gemini」とのチャットから直接PDFやExcelファイルを生成可能に
ハノーバーメッセ 2026：
連合学習AIから離脱企業のデータだけ完全削除する新技術、フラウンホーファーと富士通
通信
データセンター
Mac
・UberがExpediaと提携 アプリ内ホテル予約「Hotels on Uber」など新機能を発表
・銀行員が支店内でBeReal投稿した映像、Xで拡散 西日本シティ銀が謝罪 顧客7人の氏名が流出
・銀行員が支店内部を撮影？ BeReal映像がXで拡散
«前10日分 追記
<< 2026/04/ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 >>
2026-04-28
Propositions-as-Types が説明困難な事情： n回目の整理
雑記／備忘
Propositions-as-Types は、幾度となく話題にしています。ブログ記事だけでなく、口頭での説明もけっこうな回数おこなっています。これがうまく説明できないのですわ。説明が困難な主たる原因は、用語の対応があまりにもグジャグジャで混乱必至なことです。…
Propositions-as-Types が説明困難な事情： n回目の整理
/ Agentic-coding diary: ListenableFuture to Coroutine / Antigravity / Pocket Casts Search and Recommendations / 脊髄反射記 #10 / 社会性フィルタ / Revisiting Whistleblowers / 脊髄反射記 #9 / テック社員の教科書たち / 脊髄反射記 #8 / 音楽視聴日記 / 宿題の世話の愚痴 / Jujitsu / Walmart Plus / 脊髄反射記 #7 / 冴えないバイリンガル脳 / スキルと筋肉・再訪 / ...
Agentic-coding diary: ListenableFuture to Coroutine
Apr 20, 2026
Antigravity で少しやる気が高まったのでちょっとコードらしいコードを書かせてみっか、と優先度低めタスクから ListenableFuture の coroutine 書き直し、というのを発掘してやらせてみる。
この特定のタスクは単一のファイルに閉じた作業で単体テストもわりかし整備されているのでイケるかもな・・・と思ったが、ダメだった。
クリーンアップ・リファクタリングなので、単純な置き換えだけでなく構造がクリーンになってほしいが、ならない。単純な置き換えも、ちょっとした障壁に邪魔されてあるべき姿にならない。レビューの往復をやっているうちに「自分で書いたほうがはえーわ・・・」という気分になった。
ただしレビュー往復のやりやすさは antigravity 大勝利である。インラインコメントつけてsubmit とかさ、これだよこれ。CC にも欲しい。
テストのカバレッジがあるから大丈夫なはずだが、どう見ても間違ってるコードを「テスト通りました」とかいうので「やべカバレッジ不足か・・・」とおもったら普通にコケている。お前動かしたんか？何が起きたのか謎だが、そのレベルで信用できないの困りますよ？よく考えたらきちんと trajectory をデバッグして原因を特定すべきだったかもしれない。
いざ「自分でやるわ・・・」とやってみたら普通に難しかった。ごめんムリだったねこれは・・・。もともと「ぱっとしない L3 だとムリかな」くらいな難度のつもりだったが、思ったより元のコードがクソだったすまぬ。単一ファイルといいつつ 2000 行くらいあるしなゴミめ・・・。
エーアイにコードを書かせながら自分は違う作業をするという算段だったが、作業の粒度が細かすぎ＋出してくるコードがダメ、の組み合わせで全然「違う作業」ができなかった。我ながらマルチタスクが苦手すぎる。エーアイ向いてない。
前向きな見方としては、このエーアイ氏が Kotlin を一定程度書けることがわかったのは収穫だった。あと coroutine も表面的には理解していた。今度はもうちょっと簡単なコード書いてみようね。
Antigravity
Apr 14, 2026
久々に性能仕事。ちょっといじって、性能測って、またちょっといじって、性能測って、みたいな繰り返しが必要なのでかったりーと気が乗らなかったため、気晴らしにエーアイにやらせてみることにした。
社内にはいわゆる harness が何種類かあるが、そういえば AI pilled な同僚が Antigravity が社内コードベースにも対応してるし出来が良いですよ、と勧めてくれたのを思い出し、試してみた。結果、結構良かった。（こんなまともなアプリを作る力がまだ残っていたのかこの会社と一瞬感心したのち、そういえば acqui-hire だったのを思い出した。）
モデルのアホさはどの harness でも同じだが、 Antigravity は単純に UI の出来が良
2026-04-26
長女とスターバックスにゆく
不登校 育児
ここ一ヶ月くらい毎週長女とスタバに行っている。ある日ダメ元で長女にどこか行きたい所は無いかと聞くと、不思議な事に「スタバに行きたい」という。ネットで聞き齧ったのか知らないが、長女が行きたい場所を言うなんて滅多に無い事なので、次女も連れて早速スタバに行った。混んでいたけどチャイラテとブルーベリーベーグルなどを買って車で食べた。それから毎週スタバに行っている。
なぜか次女の方は嫌がって次から来なくなったが、長女は店の中に入る事ができるようになった。朝の8時だと店内も空いていて抵抗が少ないようだ。二人でも毎回二千円を超えて結構痛いが、他に行ける所が無いので頑張るぞ。
あと、長女はコンビニにも行ける。土日のおやつはコンビニで買うという事にして、できるだけ外出を習慣づけるようにしている。残念ながら、私が休みの土日以外は相変わらずずっと自宅に閉じこもる毎日を送っている。できたら妻に平日も外出させて欲しいのだが、なかなか難しい。
次女は給食に行けるようになったので、平日は妻が次女を連れて学校に行く。たまに授業に出る事もある。ただ、学校というところは給食登校できるからといって児童が好きな時間に登下校時間する仕組みにはなってないらしく、今のところ次女が一人では登校できない。というわけで平日は次女に付きっきりになり長女は放置されている。
次女は学校以外にも外出できるようになった。先週は妻と次女だけ泊まりで旅行に行ったし、今も妻と神社のお祭りに出かけている。一時は長女よりも重症で部屋から出ずシクシク泣いていた事から考えると随分進歩だ。とはいえ、外出できるようになった次女に合わせると長女の留守番が増えて、なかなか対応が難しくなってきた。
propella 2026-04-26 18:09 読者になる
広告を非表示にする
もっと読む
コメントを書く
長女とスターバックスにゆく
育児 (190)
不登校 (65)
2026-04-25 ガウス和とヤコビ記号（その2）
m を正の奇数とする。ガウス和
S(h, m) = ∑{for μ mod m} exp (μ2⋅2hπi/p)
は、もし m が奇素数で、整数 h と m が互いに素なら、「Legendre 記号との積」を含む和
T(h, m) = ∑{for μ mod m} (μ/m) exp (μ⋅2hπi/m)
と一致し、どちらも (h/m)⋅S(1, m) に等しい（命題5）。実は、この
S(h, m) = (h/m)⋅S(1, m) = T(h, m) ‥‥❺
という関係の一部または全部は、 m が任意の奇数の場合にもそのまま成り立つ。その際、 T(h, m) の定義や❺に含まれる Legendre 記号は、拡張されて Jacobi 記号となる†。
要するに、「m が奇素数のときのガウス和 S は、別の形式の和 T としても表現可能」という重大事実が、一定条件下で「m が素数でない場合」にまで拡張される。現象としては単純な内容だし、その証明も「地味」で難しくないけれど、「何が起きているのか？」という真相を必ずしも簡単に見通すことができないという点において、第一印象としては、多少神秘的な感じもする。
→ 続きを読む
Jacobi 記号への拡張を念頭に、土台となるケース（n が奇素数で h が任意の整数。 Legendre 記号を指標とする）をあらためて検討してみたい。
Subscribe to: Posts (Atom)
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
AIエージェント 人類と協働する機械
京都は古都か
2025-11-30
明治の遺産とグローバル化の波: 日本の大学制度の迷走と構造的課題
Assistant Professor は助教授なのか
Informa TechTarget Explore the Network
An Informa TechTarget Publication Explore our brands
30 Apr
hackathon | DigitalIBM Bob Dev Day Hackathon
利用者情報の外部送信先を追加しました
利用者情報の外部送信先 (6)
2026 / 3
立教大近くのタコス屋。お肉と脂にライムの酸味がたまらん
タコスのある昼｜ニコのタコス
前回のブログに書いたお芝居の劇場が池袋だったので、池袋でランチをすることにした。 池袋に最後に来たのは、去年の夏、かき氷を食べに来たとき。そして、野球の試合を見にベルーナドームに行くために西武線に乗り換えたときだった。 あのときの西武線の駅と電車の中…
ひつじ泥棒２
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
夜の奈良公園。観光客がいないからか、鹿はじっとしている
夜の奈良観光
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›
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月
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