Goのビルドタグの書き方が// +buildから//go:buildに変わった理由

2023/05/08 8 users BUILD 論理演算 複数行 条件 書き方

ざっくり言うと // +buildは、一般的な&&や||を使う論理式の書き方じゃないので分かりにくかった 複数行書くこともできたので暗黙的な論理演算になり、意図しないビルド条件になることがあった だから、より身近で明確な書き方ができる//go:buildへ置き換えることになった（記述位置の条件とかも見直してる） Go1.17でビ... 続きを読む

ゲーデルの定理（2） - Skinerrian's blog

2017/01/23 19 users ゲーデル 定理 命題 文脈 仲正昌樹

2015 - 09 - 10 ゲーデルの定理（2） 数学 ポストモダン 仲正昌樹 は ゲーデル の定理についてこんなことを書いている。 「 不完全性定理 」というのは、「 現代思想 」の文脈に合わせて簡略化して言うと、いかなる無矛盾な体系においても、その体系自体の中では証明も否定もできない論理式＝命題が存在する、ということである。もっと崩して言うと、「この体系には矛盾がない」という”命題”を証明し... 続きを読む

はてなブックマーク - kadongo38さんはTwitterを使っています: "昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思

2015/06/20 9 users Twitter 理系文系 プログラミング 文系脳 理系脳

kadongo38さんはTwitterを使っています: "昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思った。プログラミング 学び 2015/06/20 14:37 kadongo38(@kadongo38)さん | Twitter プログラミング Twitter 学び 川上量生 コードマチズモ 理系文系 あとで読む 昨日は議論... 続きを読む

kadongo38さんはTwitterを使っています: "昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思った。プログラミング

2015/06/20 147 users 資質 Twitter プログラミング 文系脳 理系脳

昨日は議論参加しながら理系脳と文系脳について考えていたが、やっぱり脳の中で扱える論理式のサイズが文系は小さいんだと思った。プログラミングを覚えられるかどうかの資質ともリンクする話だと思う。 続きを読む

意外と知らないGoogle検索の小ワザ4選 : ライフハッカー［日本版］

2012/09/15 158 users ライフハッカー 小ワザ not Google検索 And

Google , Webツール , 検索 意外と知らないGoogle検索の小ワザ4選 2012.09.15 12:00 意外と知らないGoogle検索。これまで「AND」「OR」「NOT」などの論理式や、Google検索のオプションワザ3選などを取り上げてきました。今回もGoogle検索の小ワザに迫っていきます。 ■ワイルドカード検索 最近では先頭の数文字をフォームに入れれば大抵の言葉は文字予測と... 続きを読む