![ひろゆきが提案「会社は給料や仕事内容よりも『人間関係』で選びましょう」(ひろゆき) @moneygendai](https://cdn-ak-scissors.b.st-hatena.com/image/square/def1c3a93584c471fda8bbb313f76591863a23ac/height=288;version=1;width=512/https%3A%2F%2Fgendai-m.ismcdn.jp%2Fmwimgs%2F2%2Fa%2F1200m%2Fimg_2a9d2348f6b85e82af8686f98d50fc9a36661.jpg)
大ざっぱにいえば、2010年代の反差別論が「ネトウヨや歴史修正主義者は差別者」というものだったとすれば、2020年前後の反差別論は「差別構造に無自覚に加担するマジョリティも同じように差別者である」という方向へと段階が進んできた。ごく一部の極端な差別者のみならず、マジョリティであることそのものの日常的(everyday)な差別性が問題視されるようになってきた。 その一つが「男性特権」であり、不公平で不平等な性差別的構造に対するマジョリティ男性たちの無自覚な加担の問題である。しかし、マジョリティとしての多数派男性の特権性の問題を自分事として引き受けることに、まだまだ戸惑いや違和感を覚える男性たちも多いように思われる。 そうした状況の中で、あらためて、「弱者男性」論がネットを中心に注目されている。 とはいえ、そこで言われる「弱者」の基準は、今もまだはっきりしない。それは労働の非正規性や収入の話な
「WindowsへのCoqのインストール」: 事情があって、AgdaかCoqを触ってみようか、と。 事情というのは、個々の命題の証明(確認)は割と簡単そうだが、命題がイッパイあるのでウンザリな状況のことです。家計簿の計算が筆算だと面倒だから電卓を使いたい、という状況と同様です。 それでCoqのインストールは済んだのですが、処理系の使い方が分からない。個々の操作は覚えていけばいいのでしょうが、そもそもCoq処理系が何をするものなのか? が理解できないのです。Web上にCoqの解説は幾つもあるのですが、「いやいや、そうじゃなくて、それ以前のことがサッパリわからんのですけど」という感じ。スタートラインに立てない。 それで、「Coqの解説」じゃなくて「Coqの仕様」を読んだほうがいいのかも、と https://coq.inria.fr/distrib/current/refman/ (リファレンス
プロダクトは宗教である。 Emacsとvim、各種プログラミング言語などの例でもわかるように、プロダクトは宗教だ。各宗教や宗派に属するものが自らの信じるものを他者に広める。 昔話 筆者が20代を過ごしたDEC (Digital Equipment Corporation) という会社はVMSという自社OSが主力プロダクトだった。VAXというプロセッサーと合わせて、あらゆる規模のシステムにも同一アーキテクチャで展開できるその柔軟性や分散処理に優れている点などが支持され、一時はIBMに次ぐ世界2位のシェアを誇った。 しかし、やがてオープンスタンダードによるマルチベンダープロダクト間のインターオペラビリティが求められるようになる。標準化団体による標準化が進むも、実績にまさるUNIXとTCP/IPがデファクトとして普及する。 そのように時代が動き始めたとき、社内で起きていた議論が次のようなものだ。
Search, watch, and cook every single Tasty recipe and video ever - all in one place! News, Politics, Culture, Life, Entertainment, and more. Stories that matter to you. 「もし、東京五輪が中止になったら…」研究者が“警戒”すること新型コロナウイルスの感染拡大に伴い今国会で改正された特措法と感染症法。都道府県知事の営業時間の短縮の命令に従わない事業者や、入院拒否や逃亡をした患者、保健所の調査を拒否した人には行政罰としての「過料」が科されることになった。近現代史学者は「自由や権利を自ら差し出してしまった」と内なる戦前に警鐘を鳴らす
sbt 1.4.0 から sbtn という機能が追加されました。 https://eed3si9n.com/sbt-1.4.0-beta Native thin client sbt 1.4.0 adds an official native thin client called sbtn that supports all tasks. > https://github.com/sbt/sbtn-dist/releases/tag/v1.4.0-RC2 This lets you run sbt tasks from the system shell as: $ sbtn compile $ sbtn shutdown The native thin client will run sbt (server) as a daemon, which avoids the JVM > spin
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能(広告ブロック機能を持つ拡張機能等)を無効にしてページを再読み込みしてください。 ✕
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く