κeenです。最近JEITAのソフトウェアエンジニアリング技術ワークショップ2020に参加したんですが、そこで五十嵐先生、柴田さん、Matzとパネルティスカッションをしました。その議論が面白かったので個人的に話を広げようと思います。 年末年始休暇に書き始めたんですが体調を崩したりと色々あって執筆に時間がかかってしまいました。 時間を置いて文章を書き足していったので継ぎ接ぎ感のある文体になってるかもしれませんがご容赦下さい。 というのを踏まえて以下をお読み下さい。 いくつか議題があったのですが、ここで拾うのは一番最後の「プログラミング言語の未来はどうなるか」という話題です。 アーカイブが1月末まで残るようです。もうあと数日しかありませんが間に合うかたはご覧下さい。 そのとき各人の回答を要約すると以下でした。 五十嵐先生：DSLを簡単に作れる言語というのが重要。それとプログラム検証、プログラム
1975年宮城県生まれ。元SEでフリーライターというインドア経歴だが、人前でしゃべる場面で緊張しない生態を持つ。主な賞罰はケータイ大喜利レジェンド。路線図が好き。（動画インタビュー） 前の記事：落とし穴も罰ゲームも！テレビで見かける「あの装置」の裏側を聞いた ＞ 個人サイト 右脳TV 酸素が悪さをするなら、酸素をなくせばいいじゃない その会社とは三菱ガス化学株式会社。「たべられません」の脱酸素剤を、世界で初めて実用化した会社だ。商品名を「エージレス」という。 こちらが「エージレス」のラインナップ（一部）。見たことあるでしょう？ 取材に応じていただいた、脱酸素剤事業部 営業グループの石井さん（奥左）と向さん（奥右）。取材はアクリル板越しに行いました。 まず聞いたのは、脱酸素剤エージレスが持つ機能とその使用用途。 平たく言うと「これなんですか？」である。 石井：酸素を吸収することで、酸化による
生涯で一番重要なアニメをひとつ挙げろ、と言われたら『新世紀エヴァンゲリオン』を挙げるしかない。 私が精神科医になった動機の約20％は、この作品に感化されたせいだ。感化され過ぎたせいで、「『新世紀エヴァンゲリオン』についてレビューをまとめなさい」と言われたら今でもまとめる自信がない。 しかし、『新世紀エヴァンゲリオン』に含まれていた心理学っぽさや精神分析っぽさを振り返ることはできる。 同作品は90年代の心理学ブームやメンタルクリニックブームを踏まえていて、同時代性が強い。だから『新世紀エヴァンゲリオン』を振り返ると、当時のそうした目線を思い出すことにもなる。 90年代は「モノより心」の時代 はじめに、90年代のメンタルヘルスを巡る雰囲気について思い出してみよう。 80年代から引き続いて、90年代は精神医療語り・心理学語りがとても流行っていた。「日本人は物質的には豊かになったが、心はまだまだ貧
この記事。 news.yahoo.co.jp ついている「はてブ」のブコメが、まあなんと言おうか…。 b.hatena.ne.jp なーんて冷笑している場合じゃない。こういうブコメがつくのも、共産党が国民に広く自分の立場をこれまで知らせてこなかったという「問題」でもあるのだろう。知らないのは、国民のせいではなく、当該政党の努力の問題じゃ、ということ。 共産党の自衛隊に対する方針（ざっくり簡単に） 日本共産党の自衛隊への態度とはつまるところ、こういうことだ。 自衛隊は違憲であり、将来的には憲法9条は完全実施（自衛隊の解消）されるべきである。 しかし、それは将来、アジアの国際環境がよくなり、国民が「もういいじゃない？」と合意してのちであって、それまでは自衛隊は存在するし、活用する。専守防衛の部隊として侵略者と戦うのである。 共産党が参加する政権ができたときも同じ。党としては違憲という考えを持ち
Log4jで話題になったWAFの回避/難読化とは何か
はじめに 2021年12月に発見されたLog4jのCVE-2021-44228は、稀に見るレベル、まさに超弩級の脆弱性となっています。今回、私はTwitterを主な足がかりとして情報収集を行いましたが、(英語・日本語どちらにおいても)かなりWAFそのものが話題になっていることに驚きました。ある人は「WAFが早速対応してくれたから安心だ！」と叫び、別の人は「WAFを回避できる難読化の方法が見つかった。WAFは役に立たない！」と主張する。さらにはGitHubに「WAFを回避できるペイロード(攻撃文字列)一覧」がアップロードされ、それについて「Scutumではこのパターンも止まりますか？」と問い合わせが来るなど、かなりWAFでの防御とその回避方法について注目が集まりました。 実はWAFにおいては、「回避(EvasionあるいはBypass)」との戦いは永遠のテーマです。これは今回Log4jの件で
ここ2年くらい、仕事では大体 Go を書いている。jmuk さんが Go言語は、なんというか「ちょうどいい」言語だな、と思っている。異論は認める。 と書いていたけれど、私はやっぱり Scala や Kotlin あたりが好きで、これは変わらなそう。 例えばコレクションを map しているのをみると、私は「なるほど、ここではコレクションの要素数は変わらないんですね」と思う。filter だったら「コレクションの要素数は変わるけど、個々の要素は変わらないのか」ということを、あるいは Result を map していたら「ここではエラーのほうは触らないのね」ということを読みとっている。 こういう意図が、素朴な for ループと、if err != nil だと読みきれなくて、いや真面目に字面を追っていけばわかるんだけど、私が「map するか」と思いながら for ループを書いて、その for ル
これから流行る言語 | 雑記帳
新言語にできることはまだあるかい なんとかWIMPS 最近（1ヶ月くらい前）、こんな記事が出ました： 新しいプログラミング言語が出てこない(新しく出てた言語を追記) – きしだのHatena Kotlin, TypeScript, Rust, Swift以降にみんなが話題にするような新しい言語が出てこない、それはなぜか、みたいな趣旨です。客観的に見れば「新しい言語は常に出続けている」わけですが、「みんなが話題にするような」というのが多分曲者なんでしょうね。 例え話をすると、新しい若木は常に生えてきているんだけど、大木に成長するには時間がかかるので、大木にしか興味のない人には「この8年間で新しい大木は登場していない」と判断してしまうのかもしれません。 まあ私としても、Web (HTTP) APIを書く言語とか、JSON色付け係が使う言語はもう出揃ってしまったのかもしれないという気はしなくもな
はじめに 最近のウェブアプリではバックエンドをREST-APIとして用意し、 フロントエンドはREST-APIから引っ張ってきたデータをReactやVueといったフレームワークで描画することが多いと思います。 このようなウェブアプリを開発する際に問題となるのはバックエンドとフロントエンドを並行して開発しにくいということです。バックエンドができなければフロントエンドはどんなデータが来るのかわからず描画できませんし、バックエンドもフロントエンドからどのようなリクエストが来るか決まらないと実装ができません。 そのため、最初にREST-APIの仕様を定めて、その仕様に沿ったモックサーバを作成し、 フロントエンドはバックエンドが完成するまでそれを用いて開発を進めるということが行われます。 さてそのREST-APIの仕様とはどのように記述されるのでしょうか？ 1. 自然言語で記述する 一番よくある場合
この記事は TypeScript Advent Calendar 2023 の8日目の記事です。言語実装勢にも役立つ内容を含んでいるかもしれないので、 言語実装 Advent Calendar 2023 にも登録しています。 TypeScriptで型システムに興味を持った人が「型システム入門」を読んだという話を時々聞きます。「型システム入門」は、Types and Programming Languages (TAPL) という本の邦訳で、型システムに興味を持った人が読むのは自然なことです。 型システム入門 プログラミング言語と型の理論 | Ohmsha 型システム入門 サポートページ ですが、この本の原著は2002年出版で、最近の話題がカバーされていなかったり、邦題に「入門」とあるように発展的な話題は扱っていなかったりします。一応続編的な感じのAdvanced Topics in Typ
こんにちは，sititou70です．私は社会人2年目のよわよわWebフロントエンドエンジニアであり，「数学」とか「証明」とは無縁の人生を送っています． そんな私ですが，がんばって型システム入門（通称：TAPL）という本を読み終えました．全32章，503ページ，牛乳パック1本分の重さがあり， 自立します． 自立する本は大抵やばいです． TAPLの序文を見ると，想定読者は プログラミング言語と型理論を専門とする大学院生および研究者 プログラミング言語の鍵となる概念に触れたい，計算機科学の全分野の大学院生および習熟度の高い学部生1 となっています．本記事では 「そんな本を，学生や専門家でない人間（私）が読んだらどうなるのか」 について書きます．専門的な用語は避けますので，TAPLの雰囲気だけでも感じ取ってもらえたら嬉しいです． どうなったのか 宇宙語が読めるようになった 「型安全」を説明できるよ
開発チームが大規模リプレイスを成功させるために取り組んだ "7つの取り組みと反省"【Backlog Play 化プロジェクト】 | Backlogブログ
ヌーラボの松本です。「Backlog Playプロジェクト」に2017年2月から途中参加し、プロジェクト解散の2019年7月までメンバーの一員として動いていました（プロジェクトの概要は 時系列でみる！4年の歳月をかけてPlay Frameworkで「大規模リプレイス」した話をご覧ください）。 このBacklog Playプロジェクト(以下、Play化プロジェクト)では、期間によって私の役割は変わりました。 参加した当初は開発メンバーとしてコードを書いていましたが、2018年4月からプロジェクト終了の2019年7月までは、開発をしながらプロジェクトの取りまとめをしていました。 マネジメントのような役割ははじめてだったので、いろいろ未熟な点もありましたが、プロジェクトの機能リリースを早めるために、不具合対策や手戻り削減といった問題と向き合いました。 本記事では、私のPlay化プロジェクトでの役
はじめに 先日、エンジニアの能力と今どきの難しさというタイトルの記事（2018年）を読んで、「これはほんとにその通り」と思う一方で、具体例がないためにピンと来ない人や、マウント取りではという意見も多数見られた。というわけで、自分が比較的得意な、プログラミング言語の構文解析といった分野に関して、この記事の言わんとしていることを補足するような記事を書こうと思い至った。 記事中では、エンジニアに必要な知識や経験を、「ベース」「カテゴリ」「実行環境」という形（以下）に分けて論じている。 ①ベース コンピュータサイエンス(CS)などの理論的なもの 低レイヤー ②カテゴリ フロントエンド / バックエンド / クライアントアプリなど ③実行環境 特定のプログラミング言語や開発環境やツール、フレームワークやライブラリなど この中で、特に印象的であり、かつ「よくわかる」と思ったのは以下の記述だ。 ③は比較
7月1日付でジャニーズ事務所の社外取締役に就任するプロ野球界初の企業研修講師・白井一幸氏（61）がこのほど、ENCOUNTのインタビューに応じた。同氏は今年3月、侍ジャパンのヘッドコーチとしてWBC（ワールド・ベースボール・クラシック）で優勝に貢献。その後、ジャニー喜多川前社長（享年87）を巡る性加害疑惑で揺れる同事務所から就任依頼を受けた。周囲は心配し、就任内定の発表後は批判の声も届いた。それでも、火中の栗を拾う思いと「なすべきこと」を聞いた。以下は、インタビュー前編。 7月1日付でジャニーズ事務所の社外取締役に就任するプロ野球界初の企業研修講師・白井一幸氏（61）がこのほど、ENCOUNTのインタビューに応じた。同氏は今年3月、侍ジャパンのヘッドコーチとしてWBC（ワールド・ベースボール・クラシック）で優勝に貢献。その後、ジャニー喜多川前社長（享年87）を巡る性加害疑惑で揺れる同事務所
■総合アニメ雑誌の一角がIT企業へ 年の瀬となりましたが、アニメ業界では話題のニュースが相次いでいます。なかでもアニメ関係者を驚かせたのが、株式会社イードによる老舗アニメ誌「アニメディア」の買収です。学研プラスよりアニメ関連事業の譲渡を受け、「アニメディア」「声優アニメディア」「メガミマガジン」、そしてムック本の発行とウェブサイト「超！アニメディア」の運営も引き継ぎます。 イードと言えば、僕が3年半前まで務めていた古巣です。もともとイードがアニメ進出したのは2012年当時、僕が運営していたウェブ情報サイト「アニメ！アニメ！」と「アニメ！アニメ！ビズ」を譲渡したのが最初です。今回の買収にあたっても既存のアニメ事業との連携が掲げられており、感慨深くもあります。 とはいえ現在はイードから離れてだいぶ経ち、今回の出来事も客観的に見る立場です。むしろアニメ業界の新たな動きとして興味を掻き立てられます
部下のマネジメントや後任者の育成、トラブル対応に加え、リスキリングやハラスメント対策など、管理職の業務負担の増大が問題視されています。本イベントでは、『罰ゲーム化する管理職 バグだらけの職場の修正法』の著者で、パーソル総合研究所上席主任研究員の小林祐児氏が登壇し、管理職のあり方を見直し組織改革につなげる方法について語られました。本記事では、パーソル総合研究所による調査研究から、現場の管理職が抱える課題や負担が増大していく背景を掘り下げて解説します。 日本のキャリア形成はかなり特殊 小林祐児氏：もう少し考えたいと思います。日本の管理職の特殊性を頭に入れないと、生半可な処方箋は描けないなと思っています。 「『部長ならできます』はなぜ生まれるか」と書いていますが、いわゆる「市場価値が下がってしまうような管理職のあり方が生まれるのはなぜか？」というお話です。 まずは「入口」問題。日本企業で働いてい
型付けは難しい
ベン・フィードラーのブログより。 型検査と型推論 型検査とは、あるプログラミング言語で与えられたプログラムを実行し、すべての変数や式が正しい型を持っているかどうかを調べるプロセスです。例えば、文字列は文字列に代入され、算術式は数値のみを使用するなどです。一部の言語では型推論を提供しており、コンパイラに自分で正しい型を見つけるタスクも提供します。言語の特徴に応じて、型検査と型推論の問題は、些細なものから決定不能なものまで様々です。 一般的な用語 完全性 正しく入力されたプログラムを全てチェックできれば、タイプチェッカーは完了です。 健全性 正しく型付けされたプログラムのみを受け付けるものであれば、型検査は健全です。 決定可能性 任意の入力に対して、その入力が問題を満足するかどうかを有限時間で計算できる場合、決定問題は決定可能です。決定可能な問題の例としては、素数判定や充足可能性などがあります
ここからはじめる平和――何もかもが戦争の論理に飲み込まれてしまう前に｜三春充希(はる) ⭐第50回衆院選情報部
あのとき国旗をどれほど見ただろうか。2003年の3月に、アメリカがイラクへの軍事侵略をはじめた時のことだ。各国で起きた抗議行動の場で、掲げられた“NO WAR”の文字は国旗を背にしてはいなかった。“NO WAR ON IRAQ”はあったけれども、それも国旗が背景ではなかった。一枚一枚のプラカードが思い思いのスタイルで掲げられた。ある人はハリボテの地球儀を高々と掲げていた。 確かにイラクの国旗は意匠としては複雑だといえよう。ウクライナのものは二色であるため、用いやすいという面はあるのかもしれない。しかしそれだけでは終えることのできない深刻な隔たりが感じられてならない。国旗を振ったり掲げたりするのは反戦という立場ではなく、むしろ防衛戦争を肯定する立場に近いのではないのかという疑念が、頭をちらついてならないのだ。 戦争に反対する時に、なぜ「人々との連帯」より先に「国との連帯」がもちだされなければ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
プログラミング言語の未来はどうなるか | κeenのHappy Hacκing Blog
「たべられません」を作った会社に「そもそもこれはなにか」を聞く
生涯で一番重要なアニメをひとつ挙げろ、と言われたら『新世紀エヴァンゲリオン』を挙げるしかない。
日本共産党の自衛隊論を整理する - 紙屋研究所
Go を2年くらい書いた感想: 意図をエンコードしきれない感じは消えず - blog.8-p.info
REST APIを簡単にMockできるツールSmopeckの紹介 - Qiita
「型システム入門」の先へ：TypeScriptの型システムのいくつかの側面 | 雑記帳
よわよわエンジニアがTAPL（型システム入門）を読んだら
プログラミング言語の習得に必要なもの - Qiita
白井一幸氏、ジャニーズ社外取締役就任で批判殺到も「想定内。反応が怖いのなら引き受けていない」
ネット企業が老舗アニメ誌「アニメディア」買収 狙いと成功の可能性は？｜数土 直志(すど・ただし)
経営者の筋トレ発想で「罰ゲーム化」する管理職 昇進が遅く市場価値も低い、管理職のキャリア形成を変える処方箋