|
|
|
|
|
||
|
||
すべて | グループ指定なし | C#&.NET海外 | C#&.NET日本
自転車に再び乗り始めた
週末に気軽に自転車で出かけられるようになりました
10/1/2022, 1:38:23 PM
カリフォルニアで運転免許を取った
カリフォルニアのドライバーになりました
9/17/2022, 3:06:25 PM
カリフォルニアで車を買った
アメリカでミニに乗るやつになりました
9/10/2022, 6:39:13 PM
引っ越し先へ入居した
カリフォルニア州民になりました
9/5/2022, 6:25:09 PM
引っ越し当日になった
いよいよ引っ越しの日になりました
9/4/2022, 6:56:17 PM
引っ越し業者を探して荷物を梱包した
大陸横断引っ越しで荷物を運んでくれる会社を探しました。
8/31/2022, 11:07:33 PM
カリフォルニアの引っ越し先を決めた
カリフォルニアでどこに住むか決めました。
8/13/2022, 3:16:04 PM
カリフォルニアで引っ越し先を探した
カリフォルニアへ出かけてアパートの内見ツアーをしてきました。
8/7/2022, 2:34:11 PM
カリフォルニアへ引っ越そうかなと思った
カリフォルニアへ引っ越すことにして、場所を決めて内見ツアーを組んでみました。
7/31/2022, 12:13:41 PM
転職した
ソフトウェアエンジニアとして再出発します。
5/15/2022, 9:00:00 PM
壁に埋め込まれている電気のスイッチをHomekit対応のものに入れ替えた
スマートホーム的な何かをもう少しやってみるために、壁のスイッチを取り替えてみた。
1/17/2022, 12:24:09 PM
米国永住権（グリーンカード）取得顛末記 <2018-2021>
ごく普通の日本人ソフトウェアエンジニアが就労ビザで米国に渡って8年、とうとう永住権を取得するまでの長くて読み応えのない感想文です。
その後, 国立天文台暦計算室のページを見付けた.
Sep 2022 (0 posts)
2022-08-08
データ解釈学入門を読んだ - 2022 夏休み
統計検定2級や Kaggle で学んだものたちの隙間を埋めてくれる良い本だった。どことは言わないが、読んでいる途中に仕事のことを思い出す記述があり背筋がピンと伸びた。以下雑多なメモ。
分析者のためのデータ解釈学入門 データの本質をとらえる技術
作者:江崎貴裕
ソシム
Amazon
測りやすいデータが選ばれがち。
データを歪めるモチベーション（犯罪件数、いじめ件数は少なくレポートしたい）
(大きな声で何度でも）データの前処理は一番時間がかかる。手を抜かない。1つ1つの処理前後で正しいか必ず確認する。決してまとめて処理しない。
多重検定に注意。過去にこれやってたな。
HARKing, p-hacking これは・・・
数々の認知バイアス
higepon 2022-08-08 14:44
April 2022
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
都城のおすすめ整骨院 on あー実験うまくいかないー
March 2022
Moving
WSL2
「ハイブリッド勤務」にむけて
Too Obvious To Innovate
January 2022
Off Notes
December 2021
2021 Outside Work
November 2021
Restarting Extra Curricular
Book: The Second Shift
Webcam
横書き日記 - 完了
Publishing Blog Draft Behind oauth2-proxy on Cloud Run
横書き日記
Revisiting Writing
Office
HP C1030 Chromebook
Alder Lake and The End Of Linux Laptop
October 2021
Cycle
Laptops
Parties
Anime Night
出荷を見届ける 2021
Paul Debevec
出勤
September 2021
Getting A Phone
Chat With Ducks
Impossibility Of Remote (Contd)
Hierarchy
Stressors
Supernatural First Day
August 2021
Fasting Again
Scudo Allocator
朝型化に復帰
縦書日記
Juggling
July 2021
Links, July 30
Neeva
新聞
電子タバコ
RubberDuckEng
Links, 07/03/2021
日記
会話の無さ
June 2021
Possibility and Impossibility of Remote
May 2021
Links 2020-05-23
Mentorship
Nudge Bot Stack
Staff Eng
1
1 of 69
Like this slideshow? Why not share!
Share
Email
Share SlideShare
Facebook
Twitter
LinkedIn
Embed
Size (px)
Show related SlideShares at end
WordPress Shortcode
Link
2/4 にブログで書いた奴のうちの1つ、InternalImplementationOnly 属性の
22:22 21/11/20
ボレロ村上(村上原野)さんと constexpr のこと
去る2020年2月、縄文陶芸家にしてC++プログラマという希有な二つの顔を持つ人物がこの世を去りました。 ボレロ村上 (村上原野) 氏です。
正直なところ、陶芸家としての彼の側面については私はほとんど何も知らないに等しいです。
残された作品を見て何かを語れるほど芸術に通じているわけでもありません。
いつか機会があれば見に行こうと思っていた村上さんの作品を目にする最初の機会も、
昨年訪れた追悼展になってしまいました。
ただ、それでも私は、彼自身の登壇発表の資料 であったり、
そして何よりも縄文・陶芸に造詣の深い方々の記された幾つかの文章
（たとえば "なぜ若き縄文アーティストはリアルをめざしたのか〜村上原野くんを偲んで"）
によって、彼が一体何を成し遂げたのか、成し遂げようとしていたのかに触れることができています。
この夏にはクラウドファンディングで 作品集 も出版され、誰でも手にとって縄文アーティストとしての村上原野を知ることができます。
翻って、プログラマとしての村上さんが残した足跡は、
果たして C++ マニアでなくとも辿れるようになっているでしょうか。
彼がどのように異色の存在だったか、C++ の知識を前提とせずに書き留めておくことはできないものでしょうか。
この一年こういった疑問が頭を離れなかったので、拙いながら、
一筆残しておこうと思い書き上げたのがこの記事になります。
多忙にかまけて随分と遅くなってしまいましたが、ご容赦ください。
「constexprの人」
上のような趣旨を私が Twitter でつぶやいた時、いただいた反応の一つが好きだったので引用します。
「constexprをやたらと酷使することで有名だった人」の説明しづらさすこ
— ジャカルタ読み専ブラザーズ (@_
5...
次のページ
>>|
2017年07月20日09:00
カテゴリ
VALU
〓〓〓〓〓〓0
dankogai
コメント( 1 )
2017年03月19日16:30
カテゴリ
evalpark
Open Source
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2017年03月17日10:30
カテゴリ
evalpark
Open Source
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2015年12月03日19:30
カテゴリ
Math
〓〓〓〓〓〓0
dankogai
コメント( 1 )
トラックバック( 0 )
2015年07月11日13:30
カテゴリ
YAPC::Asia
Open Source
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2015年07月09日10:45
カテゴリ
YAPC::Asia
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2014年12月23日21:15
カテゴリ
ブロマガ
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2014年12月09日05:15
カテゴリ
弾本
Announcement
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2014年11月30日22:00
カテゴリ
ブロマガ
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2014年10月31日01:00
カテゴリ
ブロマガ
〓〓〓〓〓〓0
dankogai
コメント( 0 )
トラックバック( 0 )
2014年09月30日00:15
カテゴリ
ブロマガ
Announcement
〓〓〓〓〓〓0
dankoga
読者になる
読者になる
% g++ -DV2 -O2 -c test.cpp ; g++
« お問い合わせ対応システム移行にともなう… はてなプライバシーポリシーの改定について »
はてなの各サービスの告知日記です。
読者です 読者をやめる 読者になる 読者になる
最新記事
携帯電話の回線を変更される方へのご案内
はてなプライバシーポリシーの改定について
はてなプライバシーポリシーの改定について
はてなIDのOpenIDサポート終了のお知らせ
はてなプライバシーポリシーの改定について
カテゴリー
はてなの日記 (632)
はてなアイデア日記 (600)
はてなグループ日記 (467)
はてなフォトライフ日記 (275)
人力検索はてな 日記 (254)
はてなアンテナ日記 (247)
はてなRSS日記 (241)
はてなカウンター日記 (167)
はてな使い方メールマガジン『週刊はてな塾』 (82)
はてなリング日記 (78)
はてなグラフ日記 (56)
はてなマップ日記 (42)
はてなロゴ日記 (32)
求人情報 (32)
はてなスクリーンショット日記 (19)
はてなグリースモンキー日記 (6)
月別アーカイブ
リンク
はてなブログ
ブログをはじめる
はてなブログPro
はてなブログをはじめよう！
hatenasupportさんは、はてなブログを使っています。あなたもはてなブログをはじめてみませんか？
はてなブログをはじめる（無料）
はてなブログとは
はてなの告知
Powered by Hatena Blog | ブログを報告する
ストック一覧を見る 閉じる
ログイン 閉じる
閉じる
限定公開記事のため引用できません。
読者です 読者をやめる 読者になる 読者になる
Blog Archive
はてなブログに引っ越し
2021.04.12
はてなブログに引っ越し
2021年4月から、2020年以降の記事を含めて「はてなブログ」に引っ越しました。今後もよろしくお願いします。
設計者の発言（はてな版）
«オブジェクト指向開発もローコード開発も楽しい
Server Error in ’/’ Application.
The resource cannot be found.
Description: HTTP 404. The resource you are looking for (or one of its dependencies) could have been removed, had its name changed, or is temporarily unavailable. Please review the following URL and make sure that it is spelled correctly.
Requested URL: /netframework.aspx
404 - Page not found
Hmm, we couldn’t find this link, but here are some related search results that may be helpful.
© Microsoft 2021
© Microsoft 2021
FAQ / お問い合わせ窓口
2021年01月08日
2021年01月08日
マイナビニュース サイト改変「TECH+」を2/１より開始
マイナビは、マイナビニュースの中で主にBtoBビジネス領域を扱っている「企業ITチャンネル」「テクノロジーチャンネル」「IT Search+」を分離し、新たなメディア「TECH+」として2/1よりにリューアルオープンする。
リニューアルに関する資料はこちら
なお、2/1のリニューアル時点では広告メニューや仕様に変更は無い
Web
マイナビニュース サイト改変「TECH+」を2/１より開始
2021年01月
Copyright (C) 1999-2021
金融資産1000万円という最初のゴールをいかに早く達成するかが重要
神経内科医ちゅり男のブログ
2020-09-10 06:55:01
家族で古墳Ｔシャツ
マイル日記
2020-09-10 16:11:59
蟹の半身みたいなWi-Fiルーター ASUS RT-AX3000に買い替えたら自宅Wi-Fiが高速化され…
I AM A DOG
2020-09-10 10:00:13
Leica Qファーストインプレッション ディズニーお散歩写真編
ULTIMOFOTO
2020-09-10 04:26:02
Web口振受付と即時口振に頼らなければならない新型決済スキームの問題
2020-09-10 09:51:00
ドコモ口座の問題はシステム的な部分でいうと「本人確認と認証が甘い」に尽きるんですが、それ以前の問題として、こ…
豚バラ大根美味しく煮えた
あとは野となれ山となれ
2020-09-10 14:10:55
【ライブレポ・セットリスト】sora tob sakana 解散ライブ 『untie』
オトニッチ〓音楽の情報.com〓
2020-09-09 20:26:41
テンの日、魔犬サポ必勝法（たぶん） （DQ10)
くむのなんとなくきまぐれに。 自由奔放な人の日記。
2020-09-10 07:32:54
二人で絶対に半分つ
まばたきをする体
2020-09-10 13:28:01
肉まんが5個しかない。 昨日行きつけのスーパーで見つけた。このスーパーでは夏の間は肉まんを陳列しないので、秋に…
アジャイルの対義語はウォーターフォールではなく未来予知だと思っている
下林明正のブログ
2020-09-10 07:00:01
「アジャイルの対義語はウォーターフォールではありません」というのはよく聞く話だけど、じゃあ何なのか？というと…
If the value contains commas, delimiters, newlines, or d
最近の冷凍食品うますぎてこわい
kansou
2020-08-28 18:09:12
【8/31まで】63時間のビッグセール Amazonタイムセールを淡々とチェックする【随時更…
山と旅とカメラのブログ。
2020-08-29 09:47:29
【話題沸騰中】軽量でお洒落なコマンドプロンプト拡張ライブラリ「Starship」を導入…
Hajimari Tech Blog| 株式会社Hajimari
2020-08-28 17:02:20
20/8/28 仮面ライダー555の感想 二階の排外主義者たち
LWのサイゼリヤ
2020-08-28 18:58:23
リリア の部屋
Green★Pharmacy
2020-08-29 01:09:56
結構散らかってるね(笑)、 まぁ、オレも人のこと言えないが(^_^;) てか、シルバー(>_<) いい子に育ったのぉ。
EVILが神宮大会で仕掛けてくるサプライズ
NJPW FUN
2020-08-29 08:00:07
安倍総理が辞任を発表して僕が考えた事。
超メモ帳（Web式）＠復活
2020-08-28 23:30:02
ラジオ
jmiyazaの日記（日々平安録２）
2020-08-29 10:38:58
救急車に乗ってみた
散るろぐ
2020-08-26 18:19:53
コロナのおかげで、自宅待機している新卒の子らには「このまま働かずに給料をもらい続けたい！」と強く思う子がいる…
日記 0829
Imaginantia
2020-08-29 05:17:55
んー。今日はいろいろあったいい日でした。主に現世の活動でした。 端的に言うとアートアクアリウムに行った後、川崎…
【ize訳】アイドル、華やかな照明が消えた後
サンダーエイジ
2020-08-28 23:10:55
アイドル、華やかな照明が消えた後 人格教育
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード２枚を返却したら、ボードぶんの代金を返金するとのこと。やさしい。
AgdaによるTaPL - Typed Arithmetic Expressions [Agda]
「プログラミング言語の基礎概念」(五十嵐2011)をAgdaでやっていた途中だが、 ここで ”Types and Programming Language” (Pierce 2002) の第8章 ”Typed Arithmetic Expressions” をAgdaでやることにする。
open import Relation.Binary.PropositionalEquality
using (_≡_; refl)
open import Data.Product
using (_×_; proj〓; proj〓; ∃; ∃-syntax) renaming (_,_ to 〓_,_〓)
open import Data.Sum using (_〓_; inj〓; inj〓)
Syntax of Terms
この章では同第3章で定義した算術式の言語に型をつける。 これは変数という概念が登場しない言語で、次のように定義される。
infix 10 succ_
infix 10 pred_
infix 9 iszero_
infix 8 if_then_else_
data Term : Set where
true : Term
false : Term
if_then_else_ : Term → Term → Term → Term
zero : Term
succ_ : Term → Term
pred_ : Term → Term
iszero_ : Term → Term
五十嵐(2011)はこれに近いML1という言語を定義しているが、その言語への型付けを扱っていない。 しかし変数がないため型環境について考えなくてよいという単純さがあって、 最初に型付けの証明をする
404 Web Site not found.
You may be seeing this error due to one of the reasons listed below :
Custom domain has not been configured inside Azure. See how to map an existing domain to resolve this.
Client cache is still pointing the domain to old IP address. Clear the cache by running the command ipconfig/flushdns.
Checkout App Service Domain FAQ for more questions.
7/17/2020
20 minutes to read
7/17/2020
20 minutes to read
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
Theme
Light
Dark
High contrast
結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術
￥ 1,540
結局、人生はアウトプットで決まる 自分の価値を最大化する武器としての勉強術
￥ 1,540
飲食を始めとするサービス業においては、店舗運営をどうするとか、新メニュー開発がどうのといった各論に気を取られがちです。しかし、彼がこだわっているのは、「スターバックスがなぜ存在しているのか」という、同社の存在意義の部分でした。スターバックスのコンセプトが「サード・プレイス」であることは有名な話です。要は、会社