|
|
|
|
|
||
|
||
すべて | グループ指定なし | ゆーきのアンテナ | sydのアンテナ | sydのアンテナ2 | others
2024-11-21
等式の二種類の使用法： 選別条件と同一視宣言
雑記／備忘
ひとつ前の記事「圏論のエンドとコエンドは双対なんだよ」において、“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました。この双対性はちょっと不思議な感じがします。最終的には、写像（集合圏の射）の並行ペア（両端が…
2024-11-20
圏論のエンドとコエンドは双対なんだよ
雑記／備忘
エンドとコエンドは、その名前から双対なんだろうとは誰でも思うでしょう。しかし、定義の仕方によっては双対性が見えにくいこともあります。この記事では、エンドとコエンドの双対性が出来るだけ見えやすくなるような定義と記法を提示します。$`\newcommand…
等式の二種類の使用法： 選別条件と同一視宣言
圏論のエンドとコエンドは双対なんだよ
雑談用ストーリー [3] 833
Skynet Technologies Vision Australia HUMAN Vrije Universiteit Rhonda Weiss Center for Accessible IDEA Data Okta
First Public Working Draft: Global Privacy Control (GPC)
This document defines a signal, transmitted over HTTP and through the DOM, that conveys a person's request to websites and services to not sell or share their personal information with third parties.
First Public Working Draft: WebDriver BiDi
This document defines the BiDirectional WebDriver Protocol, a mechanism for remote control of user agents.
News
Updated Candidate Recommendation: Core Accessibility API Mappings 1.2
This document describes how user agents should expose semantics of web content languages to accessibility APIs.
W3C Invites Implementations of Device Orientation and Motion
This specification defines events that represent the physical orientation and motion of a hosting device.
Java, JDBC and SQL Server tutorial
This tutorial shows how to create a JDBC connection to Microsoft's SQL Server, and get started creating Java-based applications that are scalable and secure.
Top 10 Jenkins alternatives
Tired of the overhead of hosting your own Jenkins installation and looking for some alternatives? Here are 10 of the best.
2024-11-20 「神の証明」の簡単化についての覚書 ガウスの第六証明
前回紹介した「第六証明」のアレンジは、 Erdős のいう「神の証明集」に基づく（それぞれの定理について、最もエレガントな証明法を集めた天界の書物）。美しい証明には違いないが、振り返ると、幾つか「もっと簡単にできるのでは」と思われる部分もある。
もしも「数学のギネスブック」のようなものがあったとしたら、「平方剰余の相互法則」は「最も多くの別証明が考案・公表された定理」として、そこに掲載されるらしい。多くの研究者が何度もこの定理に取り組んだのは、だてや酔狂ではないし、ましてや「本当に正しいのか？」と疑問を感じて、再証明を試みたわけでもない。
いうなれば、幾つもの国境にまたがって延びる山脈。「同じ一つの山脈」だけど、例えばイタリア側から登るのとフランス側から登るのとでは、全く別の風景を楽しめる。どのコースの展望も素晴らしいのだ！
→ 続きを読む
2024-11-19 相互法則・ガウスの第六証明（現代版）
「平方剰余の相互法則の第六証明」を現代化した形で記す。アイゼンシュタイン版（1844年）と比べさらに透明で、ほとんど一点の曇りもない。
「30日の月のご﹅と﹅お﹅日﹅（5・10・15・20・25・30日）は全部曜日が違う」という程度の、たわいもない日常的事実もまた、群論の立派な応用。抽象代数をうまく使うと、話が簡潔・明快になる。ブルバキ以降、少々やり過ぎと思われる事例も散見されるが…
→ 続きを読む
2024-11-17 相互法則・ガウスの第六証明（アイゼンシュタイン版）
ガウス和を経由する第六証明は、透明度が高い。このメモでは、「ガウスの第六証明のアイゼンシュタイン版」を紹介する。
Unbundling the Graph in GraphRAG
By Paco Nathan
コースターは粘着シートで固定して子どもが触れるのを防ぐ
１歳児と快適にすごせるワークスペースアイデア
我が家は2LDKの住まいです。キッチンとダイニングの隣にあるスペースをワーキングスペースとして活用しており、日中は私と子どもはここで過ごすことが多いです。狭い空間のため、危険なものを全て排除することは難しいのですが、見た目や安全性、使い勝手のバランスを…
ちょうどいい暮らしのノート
インテリア・DIY
“想像以上にみなさんつぶあん派なんですね、、、”
こしあん大福欲
こしあんの大福。仕事で疲れてきた頭にドカンと降ってきた欲。こしあんの大福が食べたい。お餅もあんこもなめらかで、まわりに粉が振ってあるやつ。こしあんの大福。どこのどれとは確実には答えられない、こしあんの大福という概念。食べたい食べたい食べたい！！ とい…
パンダのしっぽ
「ライブで履きたい」とロッキンホース・バレリーナを購入
運命の靴の話
30代で一番お金をかけたものってなんだろう、とふと思った。家族としての一番はやはり住居。「家」が一番大きい買い物だった。 個人で言うなら。大体カメラ・化粧品が２大巨頭だが（どっちも諭吉が飛んでいく）意外ながら「靴」も該当することになった。きっかけはボー…
残りの人生、火をつけて適当に暖を取る
記録：趣味
発音を学ぶセクションにハマっている。ゲーム脳がうずく！
Duolingo Max に入った
Duolingo はやっているだろうか？やっている人向けに説明すると毎日メンヘラメールが届くアレである。 私は今600日くらい続けているが、最近 Duolingo Max の課金をしてめちゃくちゃ勉強欲が上がっているので是非お勧めしていきたい。 経緯 そもそも Max については Du…
cateiru のブログ
日記
ふっくらと美味しそうなパンが焼き上がったが……味がない
食パン作り、「塩小さじ1」を入れ忘れるな
実家から貰った古いホームベーカリーで食パンを作る。残ったごはんがあればそれでパンを作ることもできるらしいのでやってみた。ヘラや泡立て器で混ぜなくても、材料を入れれば機械が勝手に混ぜてくれるので楽ちん。ドライイーストを入れる場所もある。発酵の際に、濡…
41歳、黄桃記念日
41歳、黄桃記念日
夫婦でアイディアを出し合いながら作った布絵本のこと
我が子に贈ったオリジナル布絵本
今週のお題は「絵本」。 それで、ふと思い出したんだけれども、１５年前にね、私が作った「布絵本」を見ていただけませんかね。昔、魔法のⅰらんどの旧ブログに掲載していたんだけれども、Ｍｙホームページ亡き今、私自身も、あの布絵本のことをすっかり忘れていたので…
つれづれぶらぶら
こんなの作ってみた
続きが気になる！
おすすめ有料記事
"仕事って難しいよなあ〜と思うことが増えた。"
同じ熱量でないと戦えない
有料 仕事って難しいよなあ〜と思うことが増えた。
インターネットの備忘録
絵・動画・クリエイター支援系サイト・Live2Dなどなど……
今までやってみたこと・販売や収益化・創作活動の裏話
有料 有料記事ってどんな感じなんだろう？と気になったので、今回は販売・収益化・創作活動についての裏話を。※あくまでひとりの創作者の裏話を覗く感じで、これをしたら稼げるみたいな話ではないです。具体的な金額は書いていません。 ※noteのほうで書いたものとほぼ同じで…
黄昏時に
有料記事
県内でも東西南北で雰囲気がちがう。いなりずしが細長い
意外と楽しい、埼玉観光。美味本格タイ料理を食べ、野の中の旧陸軍の戦跡を見る。
埼玉をどこへいく 妻沼地域の細長いいなりずしを食べる 埼玉の中の日光へ 埼玉の郷土銘菓、しょっぱい大福の塩あんびん 関東北部に点在する激うまタイ料理を食べる。 埼玉にある、旧陸軍の兵器の
2024-11-17
不登校双子が食事中 Youtube を観なくなった
育児 近況
先月くらいから突然双子が食事中に Youtube を観なくなった。二年前に長女が大怪我をして以来、長女のトラウマによる尿意を我慢するために食事中 Youtube を観るようになってしまったのだが、どういうわけか突然観なくなった。尿意が消えたのか Youtube に飽きたのかよく分からないが、余計な事を聞いて逆効果になると困るのでそっとしている。二年間くだらない Youtube の音に耐えてきたが、突然食卓がシーンとして不気味だ。
とはいえ長女の病状が良くなったわけでは無い。相変わらず言葉が出ずに「ウーッ」とうなってしまう事が多く、コミュニケーションに困っている。最近特に歯が一本抜けた後が痛いらしく、歯磨きを拒否するようになってしまった。日常会話はほとんどできない。ただ、姉妹間やネット友達とは普通に会話しているので、もしかして思春期の問題なのかも知れない。まだ小学四年生なのに?!
私としては、一日一回あるかないかの会話を成立させるべく長女の好きな Fundermental Paper Education などを研究している。なかなか会話できないが、彼女の好きな曲を聴くと何となく自分も子供の頃に戻った気がする。昔母をヨセミテ公園に連れて行った時に、母がまさか自分がこんな場所に来るとは思っていなかった。子育ては自分の世界を広げると言っていたが、引きこもった娘の世界にも自分の知らない世界があって勉強させられる。娘がいなければ私は Youtube の曲に興味を持つ事は無かっただろう。
幸いにも次女の調子は良い。近所のスーパーくらいなら外出できるようになったし、お菓子作りにも付き合ってくれるようになった。良くなってるのか悪くなってるのか分からないが、少しでも双子の不安が減りますように。
propella 2024-11-17 19:14 読者になる
広告を非表示にする
もっと読む
コメントを書く
2024-11-17
「叱れば人は育つ」は幻想 村中直人著
育児 読書
育児をしていると子供を叱っちゃいけませんとよく言われます。叱らないで子育てをするのは相当ストレスのかかる事だし、叱らないで甘やかすわけにもいかないし、じゃあどうしたらええねんと言う事が書いてある本です。
なぜ叱ってはいけないのか?
著者によると、叱る事が有効なのは現在進行形で起きている危機への介入、例えば子供がカッターナイフを振り回して遊んでいる状況への対処のみという事です。「叱る」とは叱られる人のネガティブな感情を利用して相手をコントロールする事です。なので、進行中の危機を終わらせるには有効ですが、このネガティブな感情は人の学びや成長を抑制するため、子供は反省する事がなく、同じ失敗を繰り返してしまうという事です。
また叱る側の大人にとっては、叱る事に依存してしまう危険があります。人間には「よくないことをした人を罰したいという欲求」(p32) があるため、「叱らずにはいられない」状態になってしまう可能性があります。人は自分の苦しみを和らげてくれるものに依存する(p28)らしいです。何らかの苦痛やストレスを感じたときに、「叱る」欲求が満たされてしまうと自分の意志ではやめられなくなり、叱らずにはいられなくなるのです。
叱る代わりに前さばきとフィードバック
この本では、「叱る」代わりに「前さばき」を提案しています。叱らなければいけない状態が発生しないよう、事前に重要なメッセージを伝え、理解し、学んでもらう事が重要なのです(p40)。「叱る」というのは、トラブルが起きてからやることです。「前さばき」によって「こういうときにはこういうことが起こりそう」とあらかじめ予測して、事前に注意喚起するとか対処法を工夫しておくこ
2024-11-17
あまからカルテット
本
あまからカルテット
作者:柚木麻子
文藝春秋
Amazon
青物市場の精米店ってどこだろう。
甘食の発祥といわれている明月堂。
つくらなくなったどころか閉店しているかも
糖朝 マンゴープリン
ポテサラに素揚げしたニンニク
銀座梅林のヒレカツサンド
セレブ・デ・トマト 閉店
元祖食べるラー油「辺銀食堂の石垣島ラー油
https://penshoku.jp/
食べるラー油の作り方！自家製レシピでプロのような本格的仕上に [ホームメイドクッキング] All About
ごま油に唐辛子を漬け込む
うおつかさん家の ラー油はラー油でも生辣油の本
小野田製油所の「いちばんしぼり玉締ごま油」。
唐辛子は乾燥して売っているものでも必ず天日干しや低温のオーブンで乾燥してから使う。ニンニクも数日天日干ししてカラッカラに
https://rakuko.exblog.jp/16077617/
akon 2024-11-17 09:58 読者になる
広告を非表示にする
もっと読む
コメントを書く
2024-11-16
THE POWER OF REGRET 振り返るからこそ、前に進める
本
THE POWER OF REGRET 振り返るからこそ、前に進める
作者:ダニエル・ピンク
かんき出版
Amazon
タイトルは「後悔力」がよかったな。かんき出版だし。
そもそも僕は、「後悔先立たず」ではなく、「後悔後を絶たず」と後悔をとらえているので、
「やったこと」より「やらなかったこと」に後悔する。
まさに
何もしないことが一番のリスク by. ラリー・エリソン
反実仮想のパターン
下方の反実仮想（せめてもの幸いは〜）：実際よりもっと酷い結果になっていた可能性を思い描く。
上方の反実仮想（もし〜していれば）：実際よりもっと良い結果になっていた可能性を思い描く。
後悔がもたらす恩恵
①意思決定の質が改善する
②課題に対するパフォーマンスが向上する
③人生の充実感が高まる
後悔の深層構造
・基盤に関する後悔
もしやるべきことを正しくやっていたら
・勇気に関わる後悔
もしあのときリスクを取って行動していたら
・道徳に関する後悔
もし正しい行動をとっていたら
・つながりに関する後悔
もし私が手を差し伸べていたら
後悔への対処
・過去の行動を取り消す
・「せめてもの幸い」思考を実践する
後悔を認めることから始め
①セルフ・ディスクロージャー
→その経験を言葉で再現し、心の負担を軽くする
②セルフ・コンパッション
→その経験を当たり前のことと位置づけ、影響を無力化する
③セルフ・ディスタンシング
→その経験について分析して、戦略を立てる
akon 2024-11-16 10:00 読者になる
広告を非表示にする
もっと読む
コメントを書く
2024-11-15
帝都東京・隠された地下網の秘密
本
帝都東京・隠された地下網の秘密 (新潮文庫 あ 54-1)
作者:秋庭 俊
新潮社
Amazon
国会議事堂は誰が設計したのか
施工者は不詳。
三階建てとされているが地下はどうなっているか
→地下鉄につながっている
千代田線国会議事堂駅 地下二階 議員会館入り口 溜池山王駅
国会議事堂の和式庭園
国会前庭 日本庭園 ― 東京都千代田区・霞ヶ関の庭園。 | 庭園情報メディア【おにわさん】
千代田線霞ヶ関駅と有楽町線桜田門駅をつなぐ連絡線
→霞ヶ関回送線
【地下好きの方へ】地図に載っていない地下鉄トンネル… - 境目と鉄道…
国会議事堂前の地下に公表されてない線路がある | コラム | 鉄道チャンネル
南北線と有楽町線は、市ヶ谷駅付近で線路がつながっている。この↑↑↑画像の地下2階部分に、連絡線がある。その連絡線の横には電車留置線、南北線の市ヶ谷駅目黒
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
メールで送信BlogThis!X で共有Facebook で共有するPinterest に共有
【完了】10月28日（月）6:00-7:00 データベースメンテナンス実施に伴うはてな各サービス停止についてのお知らせ
15.10.24
You can help Cards Against Humanity pay "blue leaning" nonvoters $100 to vote
How is this not illegal??? Cards Against Humanity is PAYING people who didn't vote in 2020 to apologize, make a voting plan, and post #DonaldTrumpIsAHumanToilet—up to $100 for blue-leaning people in swing states. I helped by getting a 2024 Election Pack: checkout.giveashit.lol. Spotted via BoingBoing. More info at The Register. (Only American citizens and residents can participate. If, like me, you are an American citizen but non-resident, you will need a VPN.)
Labels: Politics, US
# posted by Philip Wadler @ 9:10 AM 0 comments
October 2024
2024-10-07
Resenteeism, Presenteeism, Quiet Quitting
今日の英語表現
Resenteeism（リセンティーズム）は、近年注目されるようになった職場用語で、従業員が仕事に対して不満を抱きながらも、経済的な理由や他に良い選択肢がないと感じてその仕事を続ける状況を指します。この言葉は、特に現代の職場環境や労働市場の変化を反映しています。このような状況にある従業員は、職場や組織全体、さらには同僚に対しても不満を抱くことがあります。
もともとは resent （憤慨する）という単語があり、そこから派生しました。
先行して resenteeism （下で説明）や absenteeism （休みがちであること）という言葉が先にあったので、それらとの類似性から -eeism をつけて resenteeism となったようです。
Resenteeism と Presenteeism の違い
Resenteeism は、Presenteeism（プレゼンティーズム）と混同されがちですが、両者には明確な違いがあります。
Presenteeism: 従業員が病気や個人的な問題を抱えながらも出勤し、実際には生産性が低下している状態を指します。
Resenteeism: 従業員が仕事に対して不満を抱きながらも、辞めることができずにその仕事を続ける状態を指します。Resenteeism の場合、従業員は生産性を維持することが多いですが、その不満は職場の士気や文化に悪影響を及ぼす可能性があります。
Resenteeism の影響
Resenteeism は、職場の士気や文化に深刻な影響を与える可能性があります。従業員が不満を抱えたまま仕事を続けると、その不満が他の従業員にも伝播し、全体的な職場環境が悪化することがあります。また、従業員の離職率が高まる可能性もあります。
それでは Resenteeism と最近耳にするようになった Quiet Quitting（静かな退職）の違いはどのようなものでしょうか
Resenteeism と Quiet Quitting の違い
Resenteeism（リセンティーズム）と Quiet Quitting（静かな退職）は、どちらも職場における従業員の不満やモチベーションの低下を反映する現象ですが、それぞれ異なる特徴と影響があります。
Resenteeism の特徴
定義: Resenteeism は、従業員が仕事に対して不満を抱きながらも、経済的な理由や他に良い選択肢がないと感じてその仕事を続ける状況を指します。
行動: Resenteeism の従業員は、仕事に対する不満を隠さず、職場や同僚に対してもその不満を表すことが多いです。彼らは仕事を続けるものの、その不満が職場の士気や文化に悪影響を及ぼす可能性があります。
原因: 経済的不安、職場の文化や環境の悪化、キャリアの停滞感などが主な原因です。
Quiet Quitting の特徴
定義: Quiet Quitting は、従業員が必要最低限の業務だけをこなし、仕事に対する追加の努力や責任を避ける行動を指します。これは実際に退職するわけではなく、仕事に対する熱意やモチベーションが低下している状態です。
行動: Quiet Quitting の従業員は、業務の範囲を厳密に守り、追加の責任やプロジェクトを避けます。彼らは目立たないように行動し、最低限の業務をこなすだけです。
原因: 過労、職場の評価制度への不満、ワークライフバランスの重視などが主な原因です。
比較表
特徴 Resenteeism Quiet Quitting
定義 不満を抱きながらも仕事を続ける 必要最低限の業務だけをこなす
行動 不満を隠さず表現する 目立たないように
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+
2024年07月07日
■ 個人情報保護法第2期「3年ごと見直し」が佳境に差し掛かっている
個人情報保護委員会の3年ごと見直しの検討は既に昨年11月の時点から始まっており、事務局が示す方向性も3月の時点で公表されていたが、とくに表立って何も言わなかったのは、意見は公式に言うつもりだったからだ。しかし、前回（5年前）は4月に中間整理が公表され5月にヒアリングに呼ばれたのに、今年はトラブルがあったようで中間整理が出てこないし、何の連絡も来ないので、はたして呼ばれるのだろうか？呼ばれない可能性の要因もいくつか考えられるよな？と戦々恐々としていたのだったが、突如お呼び出しがあり、6月12日の委員会で意見表明の機会をいただき、無事にお話ししてきた。
いつもだとスライドを資料とするのだが、スライドでは真意が伝わりそうにないと考え、今回は頑張って文章にした意見書を書いて資料とすることにした。なにぶん2週間前に依頼があり、資料提出期限まで8営業日しかなかったので、12頁目まではがっつり書いた（いつも1日に1頁しか進まない）ものの、後ろの5頁は突貫で1日で済ませたので不完全な内容となっているが、どうにか言うべきことは書き切った。以下で公表されている。
「個人情報保護法3年ごと見直し令和6年に対する意見」, 第289回個人情報保護委員会（令和6年6月12日）資料1-2
そして、その2週間後、中間整理が6月27日に発表され、パブコメ募集が開始されている。
個人情報保護法 いわゆる３年ごと見直しに係る検討の中間整理
「個人情報保護法 いわゆる３年ごと見直しに係る検討の中間整理」に関する意見募集について
月末には中間整理が出るとのことだったので、2週間で中間整理だなんて、言ったことを反映できるわけもないよなと思っていたら、やはりほとんど反映されていないというか、4月の時点の事務局整理と大して違わないものが出てきた。
この状況をどう見るかだが、背景には色々ある。まあ、多くは語るまい。いずれにせよ、前回（5年前）もまあこんなもんだったとも言える。前回は、4月に中間整理が出て、かなりおかしい方向性も示されていたのだったが、5月のヒアリングで述べた意見がいくつか通り、おかしかったところは撤回されている。つまり、中間整理後にけっこう変更されたのだ。そのことからすると今回も変更の余地があると考えられるのだが、2か月遅れで進行している（前回はパブコメ期限が5月27日だった）ところに難がある。それからもう一つ難があったのだが、多くは語るまい。
というわけで、パブコメ募集期間の今、JILISで緊急シンポジウムを企画した。有識者ヒアリングの8名全員にお声がけをしたのだったが、なにぶん急だったので残念ながら3人だけの登壇となった。マスコミの方々にはぜひご来場いただきたい。
緊急シンポジウム「個人情報保護法改正に向けて」（現地会場とオンライン配信の併催）, 2024年7月19日（金）
私からは、上記の意見書の内容を解説するつもりだ。しかしまあ、この意見書、読めばわかるように書いたつもりだったのに、どういうわけかネット上では全く反応がない（役所の方などからは絶賛の声も頂くのだが）。難解だっただろうか？
もう理解してくれるのは生成AIだけだよな、というわけで、今回もClaude 3 Opusに解説してもらった。これならば一般の人々にもご理解いただけるのではないかしら？
（ppc20240612-takagi.docxを添付して）
私：これは、個人情報保護法の3年ごと見直しで個人情報保護委員会のヒアリングに呼ばれた際に陳述した意見を文章にした意見書です。内容を把握できますか。
Claude：はい、提出された意見書の内容を把握しました。主な論点は以下の通りです。
目的内の提供に対する規制が過剰であり
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
読者になる
白のカピバラの逆極限 S.144-3
読者になる
TẤT CẢ 78TRẬN HOT23HÔM NAY68ĐANG ĐÁ31
A LEAGUE
6'
Perth Glory
Western Sydney
blv：TẠ BIÊN GIỚI
BLV CÁ
BLV CRIS
BLV TAP
AFC U20W C
45'
Australia U20(w)
South Korea Women U20
blv：BLV A TÀI
BLV ENZO
BLV HOPE
ViệtName
GIẢI HẠNG NHÌ HÀN QUỐC
62'
LIVE
Gyeongnam FC
1
-
2
Chungnam Asan
XEM NGAY
blv：BLV EDWARD
GIẢI NGOẠI HẠNG TRUNG QUỐC
62'
LIVE
Chongqing Tongliangloong FC
1
-
1
Heilongjiang Lava Spring
XEM NGAY
blv：BLV ODIN
BLV TONY
GIẢI HẠNG NHÌ HÀN QUỐC
63'
Bucheon FC 1995
Seoul E-Land FC
Dự Văn Chiến
GIẢI HẠNG NHẤT HÀN QUỐC
59'
FC Seoul
2
Jeju United
blv：BLV MESSI
MĂNG CỤT
BLV JAKIE
PHI HÀNH
GIẢI HẠNG NHẤT HÀN QUỐC
63'
Daegu FC
Suwon Football Club
blv：BLV BÁC SĨ
CÔNG LÝ
MR. RÊ
BLV FIREMAN
90'
Tokyo Verdy
2
2
Albirex Niigata
blv：SAO LA
BLV KEVILL
MÁT GAI
SÙNG A MÚP
GIẢI VĐQG BANG VICTORIA
90+'
Port Melbourne
2
2
Heidelberg United
GIẢI VĐQG AUTRALIA ( BANG QUEENSLAND)
89'
Peninsula Power
Gold Coast United
CHN FA Cup
90+'
Xiamen Lujiantiancheng FC
2
3
Xi‘an Ronghai Football Club
CHN FA Cup
90+'
Dezhou Haishan
4
Guangdong Red Treasure Football Club
GIẢI VĐQG BANG VICTORIA
76'
Altona Magic
1
-
South Melbourne
61'
Northern Tigers (w)
2
2
Manly Utd Women
AUS TSA Premier League
61'
Kingborough Lions
0
2
South Hobart
ディオーネ めちゃ得ウルトラ窓杜なび
ディオーネ めちゃ得ウルトラ窓杜なび
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
shinichiro_h 2023-08-27 16:00 読者になる
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 読者になる
2024 Andrew Birkett's blog
Smalltalk-72で遊ぶOOPの原点：組み込みコレクションにeach変数が使える「do」を新たに追加する
“「これは濃厚な抹茶スイーツだぞ」と思わせる香り”
133．辻利兵衛本店の宇治抹茶シュトレン
創業萬延元年、食材としての宇治抹茶の可能性を探求し続け、こだわりの抹茶スイーツにも定評がある『辻利兵衛本店』のシュトレンです。価格は税込3780円。内容量は501.5g。長さ17.6cm、幅9.6cm、高さ5.2cm。店頭のポップによると、「ドイツ伝統菓子を、お茶屋ならでは…
シュトレンログ
3001-4000円
食がテーマのエッセイ。クレソンってどこに売ってるんだろう
くどうれいん『わたしを空腹にしないほうがいい』
食をテーマとした1か月の日記、というか、エッセイというか。 最初に出てくる料理が、適当に冷蔵庫にあったクレソンと三色ピーマンと鶏肉を炒めて、バターをたっぷり使ったガーリックライスに添えたものだった。クレソン。たぶんあれのことだよな、たまに外食で食べる…
the world was not enough
「今の自分を整理するため」また日記をつけてみる
無題
他人の日記を読むのが好きだ。 昔（大学生だった頃）はツイッターもインスタグラムも賑わっていない頃で、毎日いろんな人が自分のブログに長文を更新していた気がする。 わたしもバイトのこととか（仕事、と呼んでいてイタい）当時の恋人のこと、大学の研究のこと、好…
sorahagarasunoiro’s blog
日記
読み進めると「その輪郭がだんだん見えてくる」
背筋『近畿地方のある場所について』感想
「カクヨム」に連載されていて各所で話題になっていた作品の書籍化。 妻が気になると言って買ってきたので一緒に読みましたがめちゃくちゃ面白かったし怖かったです！近畿地方のある場所について作者:背筋KADOKAWAAmazonタイトル通り、近畿地方にあるとある地域にまつ…
偽物の映画館
今年最後のひとり旅！ 西の河原温泉が幻想的だった
はじめての一人旅 草津温泉
今年中に行ってみたかった一人旅を、12月に滑りこみで敢行しました！ ということで、憧れの旅行記をば。 長めですが、ぜひお付き合いください。 一人旅欲求 今までの一人〇〇 やったことあること やってないけど、多分できる（楽しめる）こと 誰かとしたいなあってこと…
くらうど
癒す
"いつまでも過去の栄光に縋るのやめたい。"
やめたいこと
最近、創作意欲がすごいので、こうやってちょこちょこ文章を書いていきたい。短歌は全然書けないくせに、こういうのは書きたいと思うのもやめたいことかもしれない、あ、今度サークルのネプリ出るので読んでください。 ◾️ 「マスクを外してるのは自分の容姿に自信があ…
うかい
個人的に持っていかなくても良かったと思ったものは……
モルディブ旅行記 ②準備・滞在記録編
有料 ランキング参加中旅行 前回はモルディブ旅行にあたって調べたことをまとめました。 www.nogawanogawa.work 色々考えた結果、最終的にフラワリ アイランド リゾートに行ってきました。 今回は実際に旅行にあたって行った準備と、実際に現地に行った記録を写真も使ってど…
どこにでもいるSEの備忘録
雑記
琵琶湖をこの角度から眺めるなんてことが私にも訪れるとは
比叡山へ行く① 〜延暦寺。
有料 日曜日。 霞んでいた空が、次第に晴れてゆく中、 夫と意見が一致し、比叡山延暦寺に向かった。 私にとって、比叡山や高野山は、１度は行っておきたい場所だった。 明確な理由は分からないけれど、子供の頃から時代劇（も）好きだったからだと思う。 年表を覚えるのは大…
きらめき 綴り
自然
"やっぱロイホのパフェはこの上にあるキャラメルが良い"
2022年パフェ記録編
パフェはまたパフェで書くっていう……パフェ行きたい方がいたら行きましょう 2月 ・ロイヤルホスト 2022年
記事を書く お題をさがす ダッシュボード
トップ
購読リスト
グループ
トピック
編集部おすすめ
ランキング
週刊はてなブログ
今週のお題
こだわりブログ
ようこそブログ
アカウント設定
コンテンツ販売・購入
売上管理
購入した記事
初めての方へ（個人の方）
法人プラン
プランを比較
はてなブログを楽しむヒント
使い方講座
機能変更・お知らせ
ヘルプ
FAQ / お問い合わせ窓口
トップ
購読リスト
グループ
トピック
お題をさがす
記事を書く ダッシュボード
お知らせ 日記をたのしむイベント「日記祭」に、はてなブログが協賛&ブースを出展します！
思いは言葉に。
はてなブログは、あなたの思いや考えを残したり、
さまざまな人が綴った多様な価値観に触れたりできる場所です。
無料ではじめる
はてなブログとは
まず読むならここから！ 編集部お気に入りの記事を日替わりで紹介
毎日更新！
きょうのはてなブログ
もっと読む
6:30に起床してストレッチ！朝食はバタートーストにいちじく。
突如訪れた有給の過ごし方
9月から新しい職場で働いているのだけど、急遽夏休み（10月までに消化する）が付与された✌上司が「明日休む？」と聞いてくれたので元気よく「はい！」と答え夏休みを1日ゲット うっかりアラームを消し忘れ6:30に起床。二度寝ができない体質を恨む…。 涼しいのと、今日…
続・食べて踊って恋をして
食卓
夕方、川で涼むのが気持ちいい季節
明るさ
初めて持ったのは母が作ってくれたものだった
ピンクッションと言うか針山と言うか
ネットをあちこちさまよっていたら、「ピンクッションがへたったので新しいのを買いたいけど気に入ったものが見つからない」の文言に出くわした。これを読んで頭に浮かんだのは、、、。 ピンクッションがへたるってどういう意味？ ピンクッションって買うものなの？ 私…
糸偏日記つづき
雑多な手作り品
"「やらなきゃ」をやればいいのだ"
ずるいとうらやましいは混在しがち
テレビやSNS、本、リアル生活でも成功している人を目にすることが多いと思う。 お金だけでなく知識や技術を持っていたり容姿が整っていたりすることが多いが、結局は自分に自信を持っている人が「すごい人、成功している人」に見える気がする。 そんな人達を見てると「…
RN.サクサクなハッサク
雑記
マスターからの素敵な言葉、私がまあまあ酔っていたので……
20230911 本当はもっとすてきだった
大学の研究室の先輩、後輩とバーで飲んだ。 バーのマスターが素敵な人だった。私の記憶によれば、「ウィスキーは20代で飲むよりも30代で飲むほうがおいしく、40代で飲むともっとおいしく、50代で飲むともっともっとおいしい。味覚は知識ですから」というような素敵な言…
そんな気の子。
“即売会には独特のコミュニケーションがある。”
文フリへ行ってきたんだ日記
これは今日のお昼に食べたすき家のキムチ牛丼（を食べ終わった後）である。大阪の船場。午後2時半。晴れているのにポツポツ大粒の雨が降っていた。こんな中途半端な写真しか残っていないのは、初めて行った文学フリマで歩き回って疲れたからだ。 文学フリマ。その名を…
別に書くほどじゃないけど…
続きが気になる！
おすすめ有料記事
初日は発掘体験！何か珍しい化石を見つけてしまうのでは…
福井県立恐竜博物館で化石を掘ったり研究したりしてきた
有料 子は恐竜が好きなので福井県立恐竜博物館に行ってきました。一泊二日の突貫旅行、夏休みのロスタイムぎりぎりといったところです。 www.dinosaur.pref.fukui.jp 福井は言わずと知れた恐竜王国です。数多くの化石が発掘されており、その中には５体の新種が発見されてい…
ＷＩＣの中から
はてなブログPro
カメラ
きっかけ
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
August 2022
Moved
５ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 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
Read the full post about 'お知らせ'
Read the full post about 'The Tomorrow Children@GDC'
Read the full post about 'HAPPY NEW YEAR 2015'
Read the full post about 'Cascaded Voxel Cone Tracing CEDEC 2014'
Read the full post about 'お花見'
Read the full post about '『Nom Nom Galaxy』 Early Access版 リリース'
Read the full post about 'BITSUMMIT 2014'
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)│
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 |
読者になる
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.
TOK2 おススメコンテンツ！
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.
2017年4月2日(日) 夜11時30分〓
No.534
アンコール放送惑星誕生！ ジャイアントインパクト
キーワード
ジャイアントインパクト
カイパーベルト
冥王星
この放送をシェア ※NHKサイトを離れます
2017年4月1日(土) 昼0時30分〓
（福島）原発事故により放出された放射性物質
折り紙の機能 コンパクトに収納＆展開！
原発事故を経験した国の責務
チェルノブイリ事故のおさらい
折り紙がコンピュータで大進化！（北海道大学・高等教育推進機構 繁富香織さん
マインドフルネスとは!?
8位
いま起こる!? 南極棚氷崩壊 (東京大学 大気海洋研究所 高解像度環境解析研究センター 横山祐典教授)
おさらい！ 炭素14年代測定
ジャイアントインパクトが惑星を育てた!?
なぜジャイアントインパクトを調べるのか（東京工業大学地球生命研究所 玄田英典特任准教授）
ページ移転のお知らせ
ご指定のホームページは下記のアドレスに移動しました。
ブックマークなどの登録変更をお願いします。
http://soft-koha-hp.la.coocan.jp/
※10秒後に自動的に移転先のページにジャンプします。
「Page ON」サービスは2015年2月28日をもちまして終了させていただきました。
長らくご愛顧を賜り、誠にありがとうございました。
「Page ON」サービスは2015年2月28日をもちまして終了させていただきました。
長らくご愛顧を賜り、誠にありがとうございました。
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ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
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のフォントまわりがぶっ壊れている気がする
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.
お探しのページが見つかりませんでした。
hi-hoトップからお探しください。
10秒たつと自動的にhi-hoトップページに戻ります。
Sorry, the page you requested was not found.
hi-ho TOP
hi-ho top入会案内
雪合戦用の雪玉が”危険物”扱いで停学 カリフォルニア
チーズをコカインと誤認、おとり捜査官に殺人依頼 テネシー-フランスへ密航した猫がビジネスクラスで帰還 ウィスコンシン