共依存型の女は簡単に口説き落とせる そんな女に浮気されたくらいで怒る男はダサい - ピピピピピの爽やかな日記帳
最初に、結論を書いておく 共依存型の女は口説き落としやすい。 愛情飢餓によって、「優しい言葉をくれる男なら誰でも歓迎！」状態になっているから。 ブサイク然りオッサン然りキモオタ然り。 難易度の低い女を獲得しておいて、浮気の一回くらいで怒る男は器が小さい。 男を取っ替え引っ替えするタイプだからこそ、あなた程度の男とも付き合ってくれたのだ。 彼女が浮気体質じゃなければ、その恋は始まらなかった。 よって、浮気に感謝するべきだ。 共依存（きょういそん、きょういぞん、英語: Co-dependency）、共嗜癖（きょうしへき、Co-addiction）とは、自分と特定の相手がその関係性に過剰に依存しており、その人間関係に囚われている関係への嗜癖状態（アディクション）を指す。 すなわち「人を世話・介護することへの依存」「愛情という名の支配」である。 共依存 - Wikipedia 共依存型の女は、世界
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
実世界を扱う依存型プログラミングのたぶん基本～外界から安全な世界までの道 - ぼくのぬまち 出張版
依存型ならさらに安全にプログラミングできちまうんだ！と言ったところで，「無料で遊べちまうんだ！」とか「3000円払えば無料で10連まわせる」みたいな感があり， 依存型使わない場合とどう違ってくるのか 入出力から扱い始めるとどういった形のプログラムになるのか 大概どういう流れでプログラミングすることになるのか とか，そういった話を通しではそんなに見ないかなーという気がしたので，ごく基本的なものを一通りまとめておこうと思って． まず，説明に使う問題設定について．行列演算，特に行列積を考えてみる．ただし，行列の形(行はいくつ，列はいくつ)についてはプログラムの外から入力によって決定するような状況とする．これ自体は普通の問題設定だと思われる． 依存型を使わなければ特にどうということも無い．恐らく行列の型を次のように定義し， -- 形のみ持っておき，中身の数値については簡単のため省略 data Ma
Media Queriesのように、モニターサイズに応じてスタイルを変更可能にする非依存型で1KBの軽量jsライブラリ・syze
シンプルで良さそうだったので一応備忘録。 Media Queriesライクにブレークポイントに 応じてスタイルを変更できるライブラリです。 非依存型で1KBと、超軽量スクリプトなので 簡単なキャンペーンサイトとかならこれでも いいかもしれないですね。 Media Queriesのようにデバイスを限定しないクロスブラウザ対応で、他のライブラリに依存せず利用出来る、圧縮版は1KBと軽量、というのが特徴です。 サイズに応じてスタイルが変わっています。何してるかというと、非常にシンプルで指定したブレークポイントに合わせて<html>にclassを付加させてるんですね。 サンプルどうぞ。 Sample ※動作確認はresponsivepxが便利です iPhoneだってOK。実機でも確認済みです。 コード<script src="syze.min.js"></script> <script>syze.
iPhoneやAndroidなどスマートフォンのスワイプ操作で動かせるカルーセルを実装する非依存型スクリプト・SWIPEVIEW
iPhoneやiPadなどのスワイプで動かせる カルーセルを実装する軽量なライブラリ・ SWIPEVIEWのご紹介。jQueryやmootoolsな どのライブラリにも依存しない、非依存型 の軽量スクリプトですので既存のサイト にも導入もしやすいかもしれません。 スワイプで動かせるカルーセルです。他ライブラリに依存しませんので使い勝手はなかなか良いかなと思いました。この手のはカクカクしがちですけど、これは動作も結構スムーズです。多少はありますけどね・・ まだ画像しか対応していませんが、今後対応していくとの事です。jsファイル自体も8KBほどの軽量スクリプトですよ。完璧とは言いませんが今まで触った中でもなかなかスムーズな方ではないかと。 サンプル作りましたので以下よりお持ちのスマフォでどうぞ。 Sample お持ちではない場合はスクリーンキャストをご覧ください。 エミュレーターですけど、動作
はじめに 以前「シグネチャ依存型のWAFは避けよう」という記事に詳しく書いたように、WAFの仕事の本質は分類です。 WAFにはファイアウォールという言葉が含まれることから、その仕事には「守る」あるいは「防ぐ」ようなイメージがありますが、実際にはWAFが仕事を行う上で最も重要になるのは、その通信が攻撃なのかどうかを見分けること、つまり「分類」です。分類が終わってしまえば、その結果に応じて通信を許可したり、禁止するだけでよいので、そこには技術的な意味での難しさはありません。 つまりWAFというのは「ソフトウェアが分類を行う場面」であり、いかにしてコンピュータ、ソフトウェアに上手に物事を見極めてもらうのか、分類してもらうのかという点が、よいWAFを実現するために必要な技術のコアになります。 あるHTTPリクエストを見て、「ああ、これは攻撃だよね」と専門家が目で確認してわかる場合。果たしてソフトウ
シグネチャ依存型のWAFは避けよう
はじめに 先日、とあるScutumを利用中のお客様からうれしいフィードバックを頂きました。 「ウェブサーバをオンプレからクラウドに移した際に、WAFを(一時的にScutumをやめて)そのクラウドにメニューとして用意されていたWAFに切り替えてみたところ、誤検知が多発して本当に苦労した。Scutumがいかに楽なのかが実感できた」というものです。そのお客様はその後、そのクラウドのWAFから、再びScutumに戻ってきてくれました。 最近では著名なクラウドサービスにメニューとしてWAFがあるようですが、私が知っている範囲では、それらの多くは「シグネチャ」あるいは「ルール」を使って攻撃を見つけようとする種類のWAFのようです。本ブログではこれらの「シグネチャあるいはルールのみによって防御を行う」タイプのWAFを、「シグネチャ依存型」のWAFと定義します。 シグネチャ依存型のWAFは2020年という
安全かつ柔軟な依存型 -
この記事はTheorem Proving Advent Calendar 2011の1日目の記事です。 今日は Agda2 というプログラミング言語を用いて、依存型を用いることで絶対的な安全性と Haskell や OCaml などでは(通常の方法では)実現できない柔軟さのどちらも持つプログラムを記述できるということについて書きます。 この記事は主に、普段動的型付けのプログラミング言語を使っていて、静的型付きの言語では自分の意図したものを十分に表現できないと考えている人を対象読者としています。 依存型とは 型に依存する型や、値に依存する型を作れる型のことです。 例えば、値に依存する型を用いることで型レベルでサイズが与えられているリストを作ることが可能です。 また、リストの結合関数は長さ a のリストと長さ b のリストを取り、リスト a+b のリストを返すというような型を持つことになります
集団依存型のアノミー日本人はなぜ生まれたのか
集団依存型のアノミー日本人はなぜ生まれたのか 1998/1/28. 「Artemis Sampler」(http://www.sh.rim.or.jp/~artemis/)というホームページの 「酒鬼薔薇聖斗を生んだ戦後日本という社会」にひじょうに感銘をうけた。 戦後日本社会のひずみが仮借なく描き出されている。 わたしはこういう日本社会への鋭い批判をおこなうサイトを探していたので、 このページを見つけたときはとてもうれしかった。 感銘をうけた部分としては、日本人は思春期の思索的懐疑の時期をへずに、 企業の就職養成下請け機関である学校教育をうけ、そのまま企業や官公庁に就職し、 精神年齢が大人にならないまま、組織に寄生して一生を過ごし、 みずからのアイデンティティを育むこともない、 という箇所がいちばん心につき刺さってきた。 「酒鬼薔薇聖斗を生んだ戦後日本社会」はこちらか
社員がパーパスに共感できないことで起こる問題 世古詞一氏（以下、世古）：今日は、先ほどみなさんにも出していただきました「社員がパーパスに共感できないことで起こる問題」に絞っていこうと思います。 パーパスがないことで採用が難しいとか、新しい製品が生まれづらいとか、ブランドが毀損されるとか、いろいろあるかもしれません。その中で「社員が」ということで言うと、本当にみなさんがさっき出されたことがすべてだと思います。 やはり働きがいが低下していく。WhyではなくWhatで選ぶようになっているんです。パーパス起点でその会社につながっているのではなく、「業務自体が好きだから」、「なんとなく居心地がいいから」とか、あるいは「報酬が高いから」とか「この人が好きだから」とか、そういうものでつながっているんです。 これ自体は別に悪くはないんですけれども、例えばより報酬の高い会社があったら、すぐその会社に転職しま
百貨店ECサイトのオムニチャネル化への挑戦 - 店頭依存型の商習慣からの脱却で未来を勝ち取れるか | EC業界ニュース・まとめ・コラム「eコマースコンバージョンラボ」
苦戦の続く百貨店ECサイトはオムニチャネル化の波に乗り切れるのか インターネットの台頭などの影響により、百貨店の売上は平成13年の8.6兆円から平成22年の10年間で6.3兆円まで減少してきてます。これまで圧倒的に流通の主役だった百貨店は、そのポジションも危うくなりつつあり、楽天・Amazonなどのネット専業事業者や、商材に特化してネットを上手に活用しているユニクロなどにシェアを奪われつつあります。 百貨店もECや通販の取り組みを行っているものの、百貨店業界のEC市場は約283億6,600万円（2012年度の日本百貨店協会「eビジネス白書」）で、ネット通販比率は1％（米国は4.7%）に満たない状況となっており、苦戦も鮮明となってきています。283億円といえば、単体でもその売上を達成する事業者は国内に50以上はある規模で、百貨店業界全体での数値としては非常に寂しいものといえます。 そのような
楽なところで他人との差異を見つけて自分を特別視しようとするのが中二病であるから、結局全ては優越感ゲームに収斂する。「普通にテレビを見ている人たち」に対するカウンターとしての「テレビを見ない」が中二病であるなら、それを「アピールダサい」「今さらすぎる」と馬鹿にするのも同じ中二病であるし、そうやって中二病を揶揄している連中をさらに遠巻きから「執着している」と馬鹿にするのもやはり全く同じ中二病となる。 一度中二病的メンタリティを持った人間は、年を食ってもそれが治ったりはしない。竹やりで無防備に戦っていた者が、いつの間にか安全位置からスナイパーライフルで狙撃するようになる、というような事はあっても。*1 - via http://b.hatena.ne.jp/entry/http://twitter.com/tsuda/statuses/708879222 http://twitter.com/t
非依存型のシンプルな通知ライブラリ・「notie.js」
notie.jsは他ライブラリに依存しないシンプルでクリーンな通知ライブラリです。WarningやError、Confirm等の通知を、他ライブラリに依存する事無く実装出来ます。セッティングも簡単でなかなか使いやすそうです。ライセンスはMIT。 notie.js
Popper.jsは常に見やすい状態に維持してくれるツールチップ実装スクリプトです。圧縮版で3.5KBと軽量且つ非依存型で単体で動作してくれます。うまく説明出来ませんが、任意のコンテナにツールチップを表示した際、スクロール等でコンテナが隠れ始めてもツールチップだけは残ってくれる、みたいなもの。コンテナのドラッグ操作を行っても常に見える状態を保持してくれます。本スクリプトでも明示してある通りWebアプリなんかに良さそうです。これは使わせてもらうかも。見たほうが早いと思いますので以下よりご確認下さい。ライセンスはMIT。 Popper.js
人種依存型顔識別能力
昨日、大学院時代の友達と集まって話した時に、「異人種の顔を見分けるのは大変だ」という話になった。人種関係はちょっと微妙な話題なので、気心の知れた昔のクラスメート、ということで話せたことでもあるのだが。 私が 「最初アメリカに来た時、白人の顔の区別がつかなくて困った。でも、最近は、日本に行くと、最初日本人の顔が一緒に見える。ところが一週間くらいたつと日本人に目が慣れてきて区別がつくようになる。その状態でアメリカに帰ってくると、今度は空港で見かける白人がみんな同じ顔で驚く」 と言ったところ、 「うむ、いやー、insensitiveだなーと自分でも思うんだけど、僕、子どもの学校の友達にお母さんがアジア人という子が多いんだけど、そのお母さんたちの顔の見分けがつかなくて困るんだよね」 とは、近所に住む白人男性のお言葉。（彼は奥さんも白人）。 すると、アフリカンアメリカン男性で、中国人の奥さんのいる人
ページのスクロール時にviewport内に入った要素をアニメーション表示させる非依存型で軽量なスクリプト・「ScrollReveal」
ScrollRevealはページのスクロール時に、viewport内に入った要素をアニメーションエフェクト付きで表示するためのスクリプトです。他ライブラリへの依存は無く、単体で動作してくれます。圧縮版で2.7KBと軽量でモバイルブラウザにも対応しています。オプションもいろいろ用意されていて応用が効きそう。用途は限られますけど覚えておいて損はなさそうです。ライセンスはMIT。 ScrollReveal
非依存型の日付ピッカーライブラリ・「Rome」
Romeは非依存型のデイト/タイムピッカーです。単体で動いてくれるのは有難いですね。カスタマイズ性もありそう。ライセンスはMITです。 Rome
人が足りない。人が採れない。EU（欧州連合）加盟後の4年間で4割以上の人件費の増加に直面するチェコは、そんなジレンマの中で、モンゴルやベトナムといった低賃金のアジア諸国に熱い視線を送り続けている。 現在、チェコには200社を超える日本企業が投資しており、その多くは、トヨタ自動車7203をはじめとする自動車関連と松下電器産業6752などのエレクトロニクスの関連企業である。 前回（スロバキア）も述べたように、チェコスロバキア時代から工業国として栄えてきたチェコは、隣国スロバキアに先んじて、外資誘致に成功していった。 その背景には、チェコ投資庁のひたむきな努力があった。東欧の悪しき伝統だった官僚主義や、サービス精神の対極にある、無表情で暗いイメージを抜本的に変えて、投資家満足度を高めていったのである。 生産拠点としてはピークが過ぎる 外国直接投資については、110億ドル（約1兆1000億円）に到
物質・材料研究機構(NIMS)と科学技術振興機構は5月24日、環境に依存してその動作特性を変化させる「シナプス素子」の開発に成功したと発表した。 成果は、NIMS国際ナノアーキテクトニクス研究拠点の青野正和拠点長、長谷川剛主任研究者、寺部一弥グループリーダ、鶴岡徹MANA研究者、A.ナヤク ポスドク研究員らの研究グループと、米カリフォルニア大学 ロサンゼルス校のJ.ジムゼウスキー教授らの共同研究グループによるもの。研究の詳細な内容は、日本時間5月24日付けで独科学雑誌「Advanced Functional Materials」オンライン速報版に掲載された。 脳の神経活動の特徴である「必要な情報の記憶」と「不要な情報の忘却」は、神経回路を構成する細胞である「ニューロン」間に形成される、その接合部分及び構造である「シナプス」の結合強度の変化によって実現されている。 例えば、情報の入力頻度が高
treeData.jsはツリー構造のデータを可視化する為のスクリプトです。シンプルな仕様で、単純に可視化するためだけのものとなっていますので他スクリプト等への依存もなく、コードも少なく実装も容易です。使い勝手は良いかなという印象です。マウスホバーで子のノードも一緒にスタイル変更されます。 試しに家系図的なもの(データ参照：徳川家系図大鑑)を作ってみました。家系図ならマウスホバーでparentも参照、スタイル変更等出来ると良いのですが現状では子のみとなっています。でもコードいじれば出来そう。応用効きそうですね。ライセンスは明記がないので問い合わせを。 treeData.js
particles.jsは軽量で他ライブラリに依存しない非依存型のパーティクルエンジンです。簡易的なものですが圧縮版で2.5kbほどと軽量で依存せず単体で動作してくれるのと、設定が簡単で扱いやすい印象です。使い方はシンプルで、スクリプトを読み込んでcanvasを用意、設定項目にセレクタと設定内容を書けばいいだけ。設定項目はパーティクルの表示数の指定、サイズ、スピード、色、距離、線画にするかどうか、のみとなっています。要素の背景等にパーティクルを利用したい方向けっぽいです。ライセンスはMIT。 particles.js
最新のデータをもとに、本コラムの執筆陣である6人のエコノミストが日本、そして世界経済のこれからを読み解いた本『データで斬る世界不況 エコノミストが挑む30問』が出版されました。全部で30のテーマを設定。「7％に迫る日本の失業率」、「アメリカ経済はいつ反転するか」など、さまざまな手法で分析したデータを用いて、確かな視点で語られます。経済の基本的な仕組みや不況のメカニズムもわかりやすく解説します。 小峰隆夫 他著、日経BP社、1800円（税別） 世界金融危機という大事件が経済を大きく動揺させる中で、これが経済についての考え方や枠組みを大きく変えていくきっかけになるのではないかという議論が強まっています。いわゆる「パラダイム転換」論です。人々は「時代の転機」という壮大な議論を好むところがあるので、パラダイム転換論も人気があるのだと思います。 「外需主導型の成長が間違いだった」のか？ 私たちが大変
howler.jsは非依存型のバニラなJavaScriptオーディオライブラリです。クロスプラットフォームで動作、多様なコーデックのサポート、オーディオのスプライトとコントロール、オートキャッシュによるパフォーマンスの向上などが主な特徴との事。軽量で扱いやすそうです。ライセンスはMIT。ドキュメントはGithubでご確認下さい。 howler.jsOn Github
κeenです。少しばかりATS2を触ってみたので成果報告でも。 AVL木は左右のノードの高さが高々1しか違わない平衡二分木です。OCamlやSMLでナイーブに実装すると本当に1しか違わないことを保証するのは難しく、精々テストなどで部分的に検査するだけです。 ところがSMLに似た文法を持つATS2には依存型があり、左右のノードの高さが高々1しか違わないことを型で保証出来ます。 つまり、左右のノードの高さが2以上違う木を作ろうとしてもコンパイルエラーになるのでコンパイルが通れば高さについてはバグがないこと保証されます。 そういうAVL木を使ってTreeSetを作ってみたので紹介します。 私のブログ(のこの記事)の読者ならATS2も依存型もAVL木も知ってそうですが一応説明します。 ATS2って何? 詳しい説明は日本ATSユーザグループに譲るとして、この記事にて重要な点を挙げます。 SMLに似た
[agnostic 【～にとらわれない、非依存型（非依存性）の】] by なるほど！訳語発見＋英語屋さん最後の挨拶
『財界』誌連載コラム 『英語で夢を見る楽しみ』 寄稿者のブログです。往年のベストセラー『英語屋さん―ソニー創業者・井深大に仕えた四年半』と『英語屋さんの虎ノ巻』（集英社新書）はKindle （Amazon）などの電子書籍でお読みいただけますので引き続きご愛読のほどお願い申し上げます。2008年7月から10年余りにわたって実務翻訳で見つけた訳語を「なるほど！訳語発見 ～英語翻訳の現場から」と題してこのブログに載せてまいりましたが、思うところがあり2018年8月に改題しました。
Coqで依存型 - にわとり小屋でのプログラミング
最近Agdaがはやっているみたいなので、Coqでも依存型（dependent type）を使ってみた。 実装したのは長さ n のベクトル型だ。このベクトル型を使うと、空でないとか、長さが等しいとかを型の段階で保証できるので、より安全なプログラムを書くことができるのだ。 Variable A:Set. Inductive Vec : nat -> Set := | VNil : Vec O | VCons : forall n, A -> Vec n -> Vec (S n). このベクトル型を使えば、コンパイル時に長さの整合性もチェックしてくれて、間違いがある場所を教えてくれる。コンパイルさえ通れば、OutOfBoundsExceptionのような実行時エラーは起こりえないことが保証される。 例えば、一般的にリストのhead関数は、引数が1以上の長さのときのみ定義でき、空リストの場合には値
目的 19番目の Advent Calender 2017 Haskell（その2）です。 依存型とは何か、何に役に立つのか、その応用としてのClashと Clashを用いた論理回路の実装のトライアルの紹介をします。 依存型とは何か Wikipediaの依存型のリンク先に他の型の値に依存する型が依存型とあります。例えば、Boolの値はTrue,Falseがありますが、Boolが型なのはもちろんですが、TrueやFalseも型として扱えるようになります。 その代表的なものとして、リストの要素数を埋め込んだ型があります。例えば、普通のBoolのリストは[Bool]な感じで長さに決まりはないですが、Vector 5 Boolのように長さ5のBool型のリストが作れます。(vector-sizedパッケージで実際に作れます。) 型に値を埋め込むだけだとありがたみがないですが、カリー＝ハワード同型対
塾講師をしていた頃に出会った依存型親子の怖い話
煮くずれ（年末閉店）🦌🦌🦌 @nimono_kuzureta 塾講師だった頃、すごく自分を慕ってくれた親子がいまして その子が中二の時に私は退職。その親子からは見捨てないでと泣かれた。 1年後のある日、再就職先の会社の電話が鳴った 「先生！みつけた！私だよ！今会社の前にいるよ！」 #夏だしフォロワーさんの怖い話教えてください 2017-07-11 18:16:39 煮くずれ（年末閉店）🦌🦌🦌 @nimono_kuzureta それから3ヶ月間、やめてくれと頼んでも会社の駐車場で親子で待ち伏せされた。副業禁止だったので家庭教師は無理だと何度も断った。 最後は向こうが諦めてくれた。 それから6年後、FBにメッセージが届いた。 「お久しぶりです、先生！今どこに住んでますか？また勉強教えて下さい」 終 2017-07-11 18:19:57 煮くずれ（年末閉店）🦌🦌🦌 @nimo
【中年ニートの家計簿】2022年1月の収支。これからは競馬依存型不毛出費セミリタイアを名乗ります。 - ～絶望中年セミリタイア民のハイブリッド投資+節約生活～
どーも。 いよいよ北京オリンピック開幕。高梨沙羅さんは断トツ金候補のクリマーが新型コロナ陽性による欠場でチャーーーーンス！ジャンプ台との相性も良いみたいですし、あとは良い風が吹くのを祈るのみですかね。今夜がNH決勝です。頑張って欲しい！ さてさて、月初（もう月初とは言えない...）はセミリタイア生活者恒例の収支報告です。セミリタイア生活者は各々、所有資産や現収入、年齢や趣味等置かれた状況で支出の年間目標がバラバラですので、私の場合はこんなですよ、って参考程度に読んでもらえれば幸いです。 1月の収支概要。 収入の部：50,272円 支出の部：88,966円 収支差額：36,894円の損失。 収入明細。 時短アルバイト：42,272円 日興フロッギー(ポイント投資)：4,800円 公金：5,000円 今年から配当・分配金は収入外の扱いとしました。 株式売買の損益と合算することになるので、資産運
Google Adsenseのブログの1PVの収益はいくら？弱点と限界…アドセンスはPV数依存型で1PVが0.3円程度100PVでたった30円で稼げない？稼いでいるブロガーは皆アフィリエイトで大きく稼いでいる！
あなたのブログ、1PVの価値っておいくらですか？ 見出し通りですが、ブログの1PV辺りの価値についてです。 あまり考えないことかもしれないですが、意外とこれは大切な事です。 僕のブログは複数のプログラムを導入していて、Google Adsenseがクリック報酬型の中ではメインとなりますが Adsenseの収益だけでは1PV辺りの収益を伸ばすことに限界があります。 結局、Adsenseだけではアクセス数(PV数)を増やす以外に収益を上げる手はありません。 PV数＝収益 Adsenseではこれが大前提であり、全てです。 しかし、それでは1PV辺りの収益が伸びることは無いのです。 PV数が増えなければ収益は永遠に今のままです。 Google Adsenseの欠点？ Google Adsenseには大きな弱点があります。 それはPV数依存型であることです。 これがクリック報酬型で最強であるAdse
蛇にピアス (集英社文庫) 作者: 金原ひとみ出版社/メーカー: 集英社発売日: 2006/06/28メディア: 文庫購入: 3人 クリック: 32回この商品を含むブログ (123件) を見るアッシュベイビー (集英社文庫) 作者: 金原ひとみ出版社/メーカー: 集英社発売日: 2007/05/18メディア: 文庫購入: 6人 クリック: 26回この商品を含むブログ (58件) を見るデビュー以来、金原ひとみは、「私」の意識（精神）と身体を垂直的な関係に置いてしばしば物語にドライブをかけてきた。より厳密に言えば、反省的主体としての意識なり精神を「抑圧するもの」、身体的側面――身体の各部位、行動の結果などを含む――を「抑圧されたもの」という関係に置き、この抑圧被抑圧の相互関係によって物語を駆動したというわけだ。 身体が何かをやらかせば、意識が悩むなり突っ込むなり依存するなりして各種の抑圧機制
Twitter / fujitatakanori: ブラック企業に共通することは、労働力として使えなくなっても責任を取らず、救済を社会保障（政府や国費）に委ねる。企業がいわゆる「社会保障依存型経営」をして
ブラック企業に共通することは、労働力として使えなくなっても責任を取らず、救済を社会保障（政府や国費）に委ねる。企業がいわゆる「社会保障依存型経営」をしておきながら、従業員へ自助や自立、独立心などを説く。
「「お上」依存型の裏返しとしての単なる不満分子なのかも」これは自分もものすごく感じてる。国家権力への不信感が非常に強烈なのに、同時に国家福祉に過剰な期待をする人とか。本人も案外分かってないのかも。 - festerfesterのコメント / はてなブックマーク
「「お上」依存型の裏返しとしての単なる不満分子なのかも」これは自分もものすごく感じてる。国家権力への不信感が非常に強烈なのに、同時に国家福祉に過剰な期待をする人とか。本人も案外分かってないのかも。 リベラル 闘争 打ち出の小槌 野党精神 o
NXPら、Android向けハードウェア非依存型NFC APIの普及促進で協業 | エンタープライズ | マイコミジャーナル
NXP Semiconductors、STMicroelectronics、Trusted Logic、Stollmannの4社は、Androidベースの携帯電話やその他デバイスにおけるNFCアプリケーションを対象とした、ハードウェア非依存型の共通APIの普及促進に関して協業することを発表した。 各社とも、相互規格の提案として、2010年4月に公開したAndroid APIのアップデートをコミュニティにリリースする予定。同共通NFC APIは、開発者にアプリケーション・ストアを通じて配布されるNFCアプリケーションを作成するための中枢のリソースになる。これにより、携帯電話ユーザは、モバイル決済や、交通機関/イベントチケットの発券など、新たな領域のコンタクトレス(非接触)アプリケーションを利用できるだけでなく、Android搭載携帯電話からのデータを直接共有することが可能になる。 同APIは
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
こんにちは。 マイクロアドでサーバーサイドエンジニアをしている飛田です。 今回はScalaの依存型について調査してみましたので、共有させていただきます。 依存型について調査したきっかけは、 Scalaで型レベル”だけ”でクイックソートという記事で、 こちらは型を使ってクイックソートを行う(コンパイル結果がクイックソートの結果になる)という内容になっています。 こちらを拝見して、Scalaの型の柔軟性にかなりのポテンシャルを感じましたので、 Scalaの型に関するトピックとして、「依存型」について共有させていただきます。 依存型とは 依存型とは定義が値に依存する型のことです。 例えば、以下のコードの型 hoge.T は hogeの値に依存している依存型になります。 trait Hoge { type T val t: T } val hoge = new Hoge { type T = St
福島正伸（ふくしま・まさのぶ） 1958年東京都墨田区生まれ。早稲田大学法学部卒業。コンサルタント会社に就職するも、同月退社。1984年株式会社ビーボード設立、代表取締役就任。1985年青年起業家協会設立会長就任。1988年株式会社就職予備校（現アントレプレナーセンター）設立、代表取締役就任。1989年日本青年起業家協会（旧青年起業家協会）会長就任。同年、国際青年起業家総会開催。旧通産省産業構造審議会委員をはじめ、各種委員を歴任。専門は、自立型社員による組織活性化支援、新規事業支援、創業支援。『メンタリング・マネジメント』（ダイヤモンド社）など著書多数。 メンタリング・マネジメント 企業による新卒社員の獲得競争が激しくなっている。しかし、本当に大切なのは「採用した人材の育成」だろう。そこで参考になるのが『メンタリング・マネジメント』（福島正伸著）だ。「メンタリング」とは、他者を本気にさせ、
← / → View PDF
中野区から維新を発信 日本はすでに終わっている。絶滅危惧種となった我々、真性日本人が日本を立て直す。 １月２４日。保守系市民団体がデモ行進をやるので、弊会の広報宣伝車を借用したいとの申し出があり、快諾していた。 が、３日前になって急遽、私に現場まで持ってきて、運転をして欲しいと言われた。 それならデモ行進の趣旨と時間・場所を伝えて、デモそのものに対する協力を願うべきではないか。 と、いうことで急遽、協賛団体となる。 で、デモ行進に加わったのだが、別に私が行かなくてもよかったのかも。 人数が多い割には、全体がバラバラって感じで、あまり盛り上がりはなかったかな。 沿道から野次を飛ばす輩もいたが、それに対してマイクで「バカ」「キチガイ」「死ね」なんて叫んでいるようじゃぁ、もう大衆運動としては失格だね。 デモ隊は解散したので私は帰ったのだが、直後に支那人の１７歳高校生が催涙スプレーを撒いた。 関係
vime.jsはカスタマイズ性、拡張性を重視して設計された非依存型のメディアプレーヤーです。 基本的には単体で動作しますが、ReactやVue、Svelteなど他フレームワークもサポートされています。 動画はvideoタグによるメディアファイルは勿論、 MPEG DASHやYouTube、Vimeoなどにも対応しています。 動作サンプルです。動画を再生するだけならシンプルなセッティングで済みます。 前述通り、カスタマイズ性も重視した設計となっているので設定メニュー項目を追加したり他言語対応したりコントローラーを調整したりする事も可能となっています。 全ての機能を使いこなすにはそれなりの学習コストがかかりますが、ドキュメントもしっかり用意されているので学びやすいかなぁとは思います。 本ライブラリはオープンソースとして公開されています。ライセンスはMITとの事です。 vime.js
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
2020年になってもシグネチャ依存型のWAFが多いのはなぜか?
入社直後はやる気があるのに、だんだん仕事がつまらなくなるわけ 依存型から自律型へ組織を変える、「1on1」の9つのテーマ
re: ネット依存型中二病 - ls@usada’s Backyard
Webアプリ向けに設計された非依存型で軽量なツールチップ実装スクリプト・「Popper.js」
チェコ： 模索する「外資依存型経済」の次：日経ビジネスオンライン
人工知能実現へ一歩前進!? - NIMS、環境依存型「シナプス素子」を開発
ツリー構造データを可視化するためのシンプルな非依存型スクリプト・「treeData.js」
軽量で非依存型のパーティクルエンジン・「particles.js」
「輸出依存型体質」は是正すべき？：日経ビジネスオンライン
非依存型で軽量、機能的なJavaScript製のモダンオーディオライブラリ・「howler.js」
ATS2の依存型を使ってAVL木 | κeenのHappy Hacκing Blog
依存型の紹介と応用としてのClashの紹介
非私小説的彼依存型私語り自動生成機械、またの名をオートフィクション - 感情レヴュー
日本発の非広告依存型ソーシャルメディア「ALIS」がICO開始12日で約3.8億円を調達
Scala依存型の調査 - MicroAd Developers Blog
【知っておきたい】日本の職場で量産される「依存型人材」の残念な生態とは？
関数型データ構造と依存型同時入門 | κeenのHappy Hacκing Blog
体制依存型なのかな？ | まき やすとも 政経調査会
カスタマイズ性、拡張性を重視して設計された非依存型のメディアプレーヤー・「vime.js」