ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について理解しておくことは, 多くのプログラミング言語の習得に役立つでしょう. ラムダ計算はチューリング完全で, 計算能力としてはふつうのプログラミング言語と同じです. ラムダ計算で計算を書く訓練をしておくことは, 任意の計算を関数のみを使って(他の制御構文を用いずに)書くときに役立ちます. ふつうに書いたら煩雑な処理を, 関数型言語のやり方で書くとすっきりすることが多々あり, コードを自由自在に書くためには必須の考え方と言えるでしょう. 項 ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 変数 変数(variable)はふつう1文字で書きます. 変数には関数内の束縛変数(bound variable)か自由変数(free variable)かという区別があり

まー、何ていうかですね。 僕、エンジニアなんで、基本このブログは技術系の話メインで書きたいんです。 ですし、この話はちょいポリティカルな話でもあるんで、余計に書きづらいのもあるんですが。 ただまぁ状況的に、書かざるを得まい。裁量労働に関して、ここ数日の世間の状況はあまりに無残だと思ったので。 とりあえず、以下にちょいちょい、ここ数日の顛末と、あと僕の言いたいことを、ツイートの紹介を交えてまとめていきます。 はじめに 自分の立場を明らかにしておく 裁量労働のメリット フレックスだと代替できないのか 裁量労働は「定額働かせ放題」にならないのか まとめると とはいえ はじめに 27日朝に、以下のツイートをしたら、ものすごい勢いでバズりました。 もうさー、裁量労働がダメなんじゃなくて、いい加減な働かせ方をする雇用者がダメなんだっていい加減気付こうよ。ブラック企業では裁量労働だろうがフレックスだろう

川崎重工製の新幹線台車に亀裂が入っていたインシデント、ショッキングな破損画像と「安全神話」が謳われる新幹線の問題ということで、大きく取り上げられています。 川重、事故招きかねず悪質 新幹線の台車亀裂 ：日本経済新聞 この件で川崎重工が報告書を公開しています。破損部の構造や製造工程、具体的な数値まで載せてあり設計者として読んでいて楽しい報告書なんですが、 問題個所が製造的な観点からしてあまりに厳しい設計に見えたので、ちょいと反応したくなりました。 問題の箇所 プレス加工とは 製造をおろそかにしてはいけない 強度は板厚の3乗で効いてくる 問題の箇所 (引用元:川崎重工説明資料) 問題個所の模式図です。問題の部品はコの字のプレス板材を抱き合わせて、曲げ先端同士で溶接しています。凸部は平面が欲しかったらしく、コの字部品がプレス加工だけで平面を出せなかったところを、削ってつじつま合わせをしたというこ

7. macOSやWindowsでLinuxバイナリを動かすプログラムを作った話 (ぬるぽへ) で聞いた Noah をインストールして使ってみた。 Noahとは ハイパーバイザ技術を用いたクロスOSなLinuxバイナリ互換プラットフォームの構築 佐伯 学哉・西脇 友一 ー Noah : Hypervisor-Based Darwin Subsystem for Linux ー Noah NoahはmacOS上でLinuxアプリケーションをそのまま動作させるアプリケーションです。ハイパーバイザを用いた新しい手法で、従来のバイナリ互換技術よりも安全かつ高速なLinuxエミュレーションを実現。Noahを使えば、apt-getやLinux向けgcc、それにあなたがこれから作る新しいLinuxアプリケーションが、そのままmacOSで動作します。 もう移植を待つ必要も、する必要もありません。 Noah

クラブ見学においてHour of Codeのマインクラフト版を体験してもらった 少し取り組んでみたら、楽しそうに取り組んでいたので、クラブ見学でも体験していただいたHour of Code。 blog.edunote.jp また、「どうやらコンピュータクラブではマイクラができるらしい。」といううわさが広まっております。 blog.edunote.jp とはいえ、Raspberry Piは希望者が発展的に取り組むためのものであって、まずはコンピュータ室にあるパソコンで各自タイピングの練習をしないと、何もままならないのも事実。 一学期当初はまず、キーボー島アドベンチャーに取り組みます。 キーボー島アドベンチャー ところが、ここで大きなハードルが待ち構えます。 30人の定員に対してPCが20台しかない 先に言っておきますが、赴任してからずっと、定員とPCの数は合ってないとクラブとして成り立たない

ＮＨＫの「日曜討論」で、「森友学園」への国有地売却に関する財務省の文書が書き換えられた疑いがあると一部で報じられたことについて、野党側は政府に事実関係を明らかにするよう求め、事実であれば安倍内閣は総辞職すべきだという考えを示しました。 これについて、立憲民主党の福山幹事長は「公文書を事後に書き換えることは普通はありえない。別の物が出てきたということになれば大問題で、状況によっては罪に問われる問題になってくる」と指摘しました。 そして、野党側は政府に対し事実関係をすみやかに明らかにするよう求めるとともに、文書の書き換えが事実であれば安倍内閣は総辞職すべきだという考えを示しました。 これに対し、自民党の武見参議院政策審議会長は「政府は常に真摯（しんし）にきちんと答える努力をし、信頼の回復に努めるべきだ。われわれも精査したうえで、真摯に国民に対して説明するという立場から対応する」と述べました。

先進国において貧困層が選挙結果を左右することはあまりない。だが、3月4日に総選挙を控えたイタリアでは貧困層が草刈り場になっている。中道右派政党「フォルツァ・イタリア」を率いるシルビオ・ベルルスコーニ元首相（公職禁止の有罪判決を受けている）と、コメディアンでポピュリスト政党「五つ星運動」の党首、ベッペ・グリッロ氏が共にベーシックインカム導入を唱えているのだ。 貧困層に毎月、気前よくおカネを支給することになるこの公約は、制度設計からしてまゆつばものだ。とはいえ、少なくともこれによって急速に深刻化する欧州の貧困問題に光が当たったのは事実だ。 イタリアでは貧困層が10年で3倍に もちろん、貧困層の全員が悲惨な生活を送っているわけではない。が、多くは困窮しており、イタリアでは貧困層が選挙結果に与える影響は無視できないものになった。全人口の約8％、500万人近くが生活必需品すら買う余裕がなく苦しんでい

このことについて21日のBBC政治トーク番組「デイリー・ポリティクス」でアンドリュー・ニール司会者が、保守党のスティーブ・ベイカー・ブレグジット担当閣外相に真意を繰り返し問いただすやりとりがあった。

すべての就活生に伝えたい 企業の採用ページを見つけたら、真っ先に年間休日数を見よう それが120以下ならブラウザの戻るボタンを押そう 年間休日数が書いてない場合は120以下と判断して構わない どうしてもその会社でなければいけない目標やコネでもない限り、年間休日が120以下の会社は入る価値がない 年間休日が少ないということは、従業員の稼働時間を多くしないと儲からない利益率の低さだったり、社員の休暇に不寛容な社風だったり、とにかくネガティブな要素しかない。 会社説明で業績や社員満足をどんなにアピールしていても、年間休日数だけが真実を物語っている。 年間休日が少ない分給料が多いなんてことはまずない。そもそも利益率の低さゆえに年間休日を増やせないのだからその逆である さらに言えば、少子化や貧困は労働時間のせいなので、日本の将来を思うなら年間休日120以下の会社はエントリーすらすべきじゃない。社員に

米ワシントンでペンシルベニア通りからホワイトハウスをながめる観光客と、警備に当たる大統領警護隊（シークレット・サービス）の隊員（2017年6月3日撮影、資料写真）。(c)AFP PHOTO / Brendan Smialowski 【3月4日 AFP】米首都ワシントンのホワイトハウス（White House）前で3日、白人男性が拳銃で自分を撃って死亡した。 大統領警護隊（シークレット・サービス、US Secret Service）は、「午前11時46分（日本時間4日午前1時46分）ごろ、ホワイトハウス北側のフェンスに白人男性が近づき、隠し持っていた拳銃を数回発砲した。ホワイトハウスに向けて発砲してはいないもようだ」と明らかにした。男性の身元は遺族に連絡するまで公表しないとしている。 現場には主に観光客の100人ほどの人たちがいた。警察官と医療関係者が駆け付けて一帯は封鎖され、その場にいた人

1972年東京都生まれ。96年横浜市立大卒。同年「情報公開法を求める市民運動」事務局スタッフ。99年NPO法人情報公開クリアリングハウスを設立、室長に就任。理事を経て2011年より現職。共著に『社会の「見える化」をどう実現するか―福島第一原発事故を教訓に』、『情報公開と憲法 知る権利はどう使う』など。 著書 日米地位協定の運用方法を協議する秘密会議「日米合同委員会」の議事内容の情報公開請求をめぐる争いが、予想外の展開を見せ、関係者を驚かせている。 日米合同委員会に関連した情報の公開を求め、国と争ってきたNPO「情報公開クリアリングハウス」の三木由希子理事長は、2018年3月2日、司法記者クラブで記者会見を行い、国が日米合同委員会の議事録を公開できない根拠としてきた、米政府側から議事録を非公開とするよう要請があったとする主張を撤回したことを明らかにした。 三木氏によると、撤回の理由として国は

TL;DR 平文のTCP/IPの通信では送信したデータの完全性は期待できないので、経路にはSSL/TLSを使いましょう TCP/IPはUDPと違い、信頼性のある通信を実現するためのプロトコルという説明がよくされる。なのでTCP/IPでやり取りしたデータは1bitの狂いもなく転送先に届くと思われがちだ。TCP/IPが信頼性のある通信を確保してると言われているのは下記の理由による。 1. データが届かなかった場合の再送処理がプロトコルに入っている 2. TCPパケットにペイロードのチェックサムがあり、不具合が検知されると修正もしくは再送される(ただし16bit) 3. IP層の更に下の層にチェックサムがあり、不具合が検知されると修正もしくは再送される(イーサの場合32bit) しかしチェックサムはそれぞれ16/32bitのため、昨今の超大量データを取り扱うにはかなり心もとない。 1. ざっくり

リンク YOMIURI ONLINE（読売新聞） 阿波おどり赤字４億、市観光協会の破産申し立て 毎年８月に徳島市で行われる阿波おどりを主催する市観光協会が、約４億２４００万円の累積赤字を抱えていることから、同市は２日、協会の破産手続きの開始を１日付で徳島地裁に申し立てたことを明らかにした。 11 users 1515 まことぴ @makotopic 「阿波踊りが4億円の赤字」と聞いてちょっと調べたら「主催者の徳島新聞が毎年チケットを買い占め」「販売の詳細は不明」「徳島新聞社長は頰かむり」「徳島新聞グループ出身の徳島市長は、対立する観光協会会長に辞任するよう圧力をかける始末」という、日本の駄目なところを凝縮したような話だった。 2018-03-02 13:12:23

日本の労働力が減少するというのは 少子高齢化 であれば当然であって、 どこから労働力を得るか と言えば、当然 海外から ということになるのだが、 日本は外国人に魅力的な環境 だろうか。 日本人がアメリカで働くことを考えてみよう。 1. 日本より賃金は下がるが、待遇は良くなる 2. 日本より賃金は上がり、待遇も良くなる 3. 日本より賃金は下がり、待遇は悪くなる あなたならどれがいいですか? はっきり言って 2以外はお勧めできない だろう。 ところが、これまで、日本の企業のしてきたことはといえば、3と同じこと、すなわち 母国より賃金は下がり、待遇も悪くなる である。 twitterより。 @KazuSamejimaさんのtweetより。 博士課程の時に同じ研究室だったインドネシア人の学部生、新卒採用の際に「インドネシア人だから」という理由で、同じ教育を受けて、日本人よりも良い成績を収めてる人

大家好。Gaoqiao（ガオチャオ）です。 中国では春節の休みが終わったばかりですが、まだまだ正月ムード。なんならクリスマスの飾りもまだ残ったままです。 私はというと春節はずっと中国で過ごしていたものの、遠隔で仕事をしつつ日本で某メーカーと協業で作っていたHTML5ゲームのプラットフォームが先週ローンチして一息ついています。 私の会社では2015年に日本のYahoo!かんたんゲームプラスという広告マネタイズ主体のゲームプラットフォームにHTML5ゲームをリリースして以来、継続的にHTML5ゲームの開発に取り組んでいます。 HTML5ゲームとはどういうものかというと、例えば下記のようなWebブラウザで起動してプレイできるゲームのことです。 ひっぱりマッピー大作戦 - Yahoo!ゲーム http://yahoo-jp.portal.connectedgamestore.com/game?ga

残業代ゼロだけじゃない！労働基準法改正のなかみ「残業代ゼロ法案」。最近のTV・新聞報道などではこの話題で持ちきり。現在国会で審議中の改正労働基準法等の改正案の一テーマですね。実は改正案はこれのみではありません。各種報道では、割増賃金の適用除外（残業代ゼロ）だけを特段強調しているようですが、むしろ改正の最重要テーマは過重労働対策・多様な働き方の実現です。本記事で改正動向を確認しておきましょう。 「残業代ゼロ法案」。最近のTV・新聞報道などではこの話題で持ちきりです。もちろんこれは俗称。改正労働基準法案の中に、割増賃金(残業代)の適用除外者を創設する制度が盛り込まれていることからこのように表現されているのです。同法改正案は、先日平成27年4月3日に閣議決定がなされ国会に提出されました。今通常国会で審議され法案が成立すると、一部を除き来年平成28年4月1日施行予定となっています。 主な改正目的は

働き方改革関連法案をめぐる不適切なデータ問題で、安倍政権が大きなダメージを受けた。ミスの発覚が相次ぎ、安倍晋三首相は２８日、法案の一部削除と提出時期の延期を決断。火消しに追われるなか、予算案の審議は参院に舞台を移す。 ２８日深夜、首相官邸。安倍首相は自民党の二階俊博幹事長、岸田文雄政調会長、公明党の井上義久幹事長らを招いた。８本の法案を束ねた関連法案のうち、裁量労働制の対象拡大部分を全面的に削除する方針を示し、「データをめぐって混乱が生じて大変ご迷惑をおかけしている」と陳謝した。その後、記者団の取材に「厚生労働省において実態を把握した上で、議論をし直す」と述べた。 政権を直撃した厚労省のデータ問題。自らの答弁を撤回、謝罪に追い込まれた末、連日のように異常値がみつかる。この日も一般労働者の１日や１週間の残業時間が「ゼロ」なのに、１カ月の残業時間が記載されたケースが５７件、新たに判明。異常値は

政府が今国会の最重要法案と位置づける働き方改革関連法案について、安倍晋三首相は２８日、裁量労働制の対象拡大を法案から全面削除することを決めた。裁量労働制をめぐる労働時間の不適切データ問題による混乱の収拾を図り、法案の今国会での成立をめざすが、法案の根幹部分の変更は政権にとって打撃だ。▼２面＝政権に…

なんか日経新聞は裁量労働制拡大先送りにいたくご不満なようで、本日朝刊でも総合面（３ページ）で大きく記事化したうえに社説でも取り上げていて、若干評価を改めたところもありますがうーんやはりダメかなあ。 なにがダメかというと生産性生産性と連呼しているところで、いやもちろん中長期的にはホワイトカラー・エグゼンプションは生産性向上に寄与することが期待されることはもちろんなのですが、それはこうした自由度の高い働き方が技術革新をもたらすことで社会全体の生産性が上がるという形でもたらされるものでしょう。実際、働き方改革実現会議の議事録を見ても、生産性については繰り返し議論されていますがそのほとんどは賃上げ・労働時間短縮・非正規の処遇改善には生産性向上が必要という話であり、具体的な方法論としてはテレワークの普及や情報通信技術の活用といったものが中心で、裁量労働制や高プロが労働時間を短縮して時間生産性が上がる

国会でだいぶん紛糾しておりましたが、どうやら裁量労働制の範囲拡大については今国会での成立は断念ということになったようです。今朝の日経新聞が1面トップで大々的に書きたてておりますな。高プロについては成立させるという意向のようですがさあどうなりますか。 政府・与党は28日、今国会に提出する働き方改革関連法案に盛り込む内容について、裁量労働制の拡大に関する部分を切り離す方針を決めた。裁量労働制に関する法案は今国会への提出を断念する。裁量労働制を巡る不適切データ問題への批判が強まる中で、世論の理解が得られないと判断した。働き方改革を通じた生産性向上が遅れる恐れがある。 …働き方改革関連法案は残業時間を年720時間とする規制や勤務間インターバル導入の努力義務といった長時間労働の是正に、裁量労働制の拡大などの生産性向上の対策を組み合わせて構成している。足元では人手不足が日本経済の深刻な課題となっており