Securing the Software Supply Chain—Save at least 45% TODAY ONLY!
Securing the Software Supply Chain—Save at least 45% TODAY ONLY!
はじめに みなさまこんにちは! 株式会社プラハでエンジニアをしていますAwataです。 早いもので、プラハに入社して1年が経過しました。 そして直近の案件からリーダーを務めることになり、つい先日無事にリリースまで完了しました! とても学びの多い機会だったので、振り返ってみたいと思います。 また、会社のPodcastでもリーダーとしての振り返り会を行っていますので、興味がある方はぜひそちらも聞いてみてください! TL;DR かなり長い記事になるので、リーダーをやってみて感じたことを最初にまとめておきます。 実際のスプリントが始まる前に、そのプロジェクトの成功の定義と失敗の定義を決めておきましょう。 そしてなるべく早く、失敗の要因になりえる懸念は取り除けるようにリーダーとして必要なことをやりましょう。 全体での振り返り以外にも、個別の1on1は必ずやりましょう。 どうして?何を話すの?という疑
プログラミング言語が2-圏として考えられるということについてソースから訳出した。(2023.2.22) 動機 最近、chatGPTにいろいろ尋ねるのが流行っているらしい。Haskellで有名なモナドの概念がなぜ導入されたか尋ねている人を見かけて、そういやそういう記事見たことないなと思ったので適当に調べた。 一次ソース 元ネタは以下のマイナーだと思われる文献 An abstract view of programming languages Eugenio Moggi教授のあんま読まれてない方の論文 Denotational Semantics Peter D. Mosses教授のこの論文(2部あって後半の方) 邦訳があり邦訳で読んだ。 プログラミングのモナド発見の経緯 プログラミングのモナドはなんか包んだり抜き出したり見たいな感じの概念で知られてますが、プログラミングの概念をモジュール化す
・移動または削除されている場合があります。 ・直前に閲覧頂いていたページへのリンクに誤りがある可能性があります。 ・ご入力頂いたURLに誤りがある可能性があります。 ・一時的に利用できない状況にある可能性があります。
2023年1月現在、Qiitaのコードブロックでも採用されている有名な日本語対応プログラミング用フォントのRictyとRicty Diminishedが、2023年1月28日をもって「正式に」サポート終了しました。具体的には、配布ページの冒頭に、以下の文章が追加されています。 Ricty および Ricty Diminished は、2010 年代前半には欧文・和文合成プログラミング用フォントとして先駆的でしたが、現在は前時代的な存在となっています。不具合もいくつか確認されています。良質なプログラミング用フォントが数多く登場していますので、それらの利用をおすすめします。 よって今後は、他のフォントを使用するのが良いでしょう。 移行先の候補となるフォントの一覧もあるので、ぜひ確認してみてください。 経緯 RictyフォントとRicty Diminishedフォントは、プログラミング用フォント
The Bank of Japan’s new governor, Ueda Kazuo, marks a break with traditionGiven the mess in the country’s markets, that may be a good thing The memoirs of central-bank officials are rarely bestsellers. Ueda Kazuo’s book, “Fighting Zero Interest Rates”, about his time on the Bank of Japan’s policy board, certainly wasn’t when it was published in 2005. But it began to fly off the shelves after Mr Ue
とある論文がデータのスキーマ変換を行うために Datalog を用いていた。Prolog は触ったことあるし、Datalog って言葉も聞いたことはあったが、具体的にどんな言語で何が嬉しいのか知らなかったのでちょっと調べてみた。 ついでに Datalog のインプリタとして Soufflé という処理系も触ってみた。 Datalog とは Datalog は、論理型プログラミング言語である Prolog のサブセットであり、主に演繹データベースのクエリ言語として用いられる。クエリは論理的な制約として記述され、その制約を満たすデータをデータベースから抽出する。最近では Datomic のような分散データベースのクエリ言語としても用いられている。 Datalog として標準化された言語が言語仕様があるわけではなく、処理系によって構文が異なっていたり、独自の拡張がされていたりする。たとえば、集約
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く