Picat
Version 3.9beta released (6/1/2025) Picat won two gold and one silver medals in XCSP competition and three silver medals in MiniZinc Challenge Picat team won the 2021 LP/CP programming contest News group Documentation: PDF | HTML Tutorials on PicatSAT (ICLP'24 | CP'19) Tutorial at AAAI'17 Editors for Picat: Emacs, VSC, and Geany WebIDE for Picat Picat team won Grand Prize at NYC Media Lab Summit H
DDDとコードとしての正しさ - pospomeのプログラミング日記
ドメイン駆動設計 #1 Advent Calendar 2018の14日目を担当する@pospomeです。 今回はDDDとコードとしての正しさについて書いてみようと思います。 DDDは設計手法である コードとしての正しさ コードとしての正しさを見失う ユースケースの日本語を"そのまま"コードに落とし込もうとする 無駄にオブジェクト同士の結合度を上げる RubyのActiveRecordの正しさ コードとしてのメリット、デメリットを具体的に考えて解決する まとめ DDDは設計手法である DDD = ドメイン駆動設計 ですよね。 "設計"という単語が付いていることから分かる通り、DDDはあくまでソフトウェアにおける設計手法です。 そのためDDDの成果物は"コード"であり、DDDの目的は"コードの可読性を上げること"であると自分は考えています。 DDDが持つ"ビジネスを理解する", "ドメインを
3年弱でゼロからフルスタックエンジニアになるまでにやったこと - 自分を攻略していく記録
はじめに そもそも何をもってフルスタックというのかという話もあるが、ここでは、開発するプラットフォームや言語を問わずエンジニアとしてすぐ働ける、というイメージでフルスタックエンジニアという言葉を使っている。ベテランのエンジニアからすると自分の技術力はまだまだだし、自分でフルスタックエンジニアというのは恐れ多いが、iOS・Androidのモバイル環境やウェブ、ブロックチェーン周りのいろんな技術を現場レベルで触ってきた過程で、どういうことをいつ学んできたのか書いていく。もちろんこれが正しいわけでもないし、人によってはフルスタックにならずに何かに尖らせたいということもあるので、参考程度にとどめていただければ、と思う。 長いので、あらかじめまとめを書いておくと以下のような感じ 週末とかもひたすら好きなモノを作ってみる。その際、できれば新しい技術で作ってみるのに挑戦する。 環境に慣れてきたら変える。
バッドUIを改善する方法 ― UIの「5つの状態」を考える | POSTD
(訳注：2020/08/22、画像と動画が正しく表示されていなかったためリンクを修正しました。) こんにちは。このブログは12月にO’Reillyから出版予定の私の著書『 Designing Products People Love 』からの抜粋です。ぜひ本も読んでみてください。また、FacebookやTwitter、 Slackなどで活躍されている20人以上のプロダクトデザイナーにインタビューもしています。* 無味乾燥なUIを経験したことはありますか？ 何か が足りないと感じてしまうようなUIを作ってしまったことはありませんか？ もしそうであれば、使い勝手の悪いUIを経験したのだと思います。 使い勝手の悪いUIには進捗インジケータがありません。ユーザにどこで障害が起きたのか知らせてくれません。怖いエラーメッセージでも表示してくれれば、なお良いのですが。わずかなデータのみの奇妙なグラフです
夏のインターン講義「1営業日で書くJavaScriptコンパイラ」の設計と実装 - クックパッド開発者ブログ
今年、クックパッドでは夏のインターンと題して20名弱のインターンを受け入れました。 このインターンは前半と後半に大きく分かれており、 後半が社員に混じって業務をするいわゆる普通のインターンで、 前半は7日間にわたってプログラミング関連の講義を受けるという仕組みです。 わたし（青木）はその前半の過程において、「プログラミングパラダイム」という 1 日の講義を担当し、 JavaScriptの処理系を書くという、ツッコミどころの多い課題を実施しました。 本稿では、その講義を開発する際に考慮したこと、特に難易度調整についてお話しします。 また講義のために開発したJavaScript処理系「JetSpider」についても軽くふれます。 ▼講義資料 Cookpad Summer Intern 2015 - Programming Paradigm from Minero Aoki JetSpiderコ
クラス設計の原則 — みんなのウェディングエンジニアリングブログ
みんなのウェディングの高井です。 クラスベースのオブジェクト指向プログラミング言語を利用している人であれば、クラスとは、ありふれていて普段から利用するものです。にもかかわらず、良いクラスをつくるというのは、なかなかに難しいことです。 先日、みんなのウェディングでアルバイトをしてくれている学生さんのコードレビューをしていたときにも、それを強く感じました。 実践的プラグマティックには「ソフトウェアの規模や文脈にあわせて、適切に抽象化していただきたい」という以上のことを言っても仕方がないところなのですが、それだけでは経験の浅いプログラマーにとって、まったく分からないという話になってしまいます。 というわけで、今回はクラス設計の原則についてのお話しです。 Bertrand Meyerのクラス設計の原則 Bertrand Meyerは『オブジェクト指向入門 第2版』の中で、クラス設計について章をひと
モードレスはどこから来たか – オブジェクト指向UIの起源 – | Backdrop
いや、「モードレスはどこから来たか」ではなく、本来の疑問は「モードはどこから来たか」なのだ。なぜなら自然界にモードはないから。 モードは何もないところに生まれる形だ。混沌に生じた秩序だ。例えばファッションがそう。一般的にモードという言葉は、新しい流行や様式を指す。そして文化的な多様性と進化を促す力として肯定的に受け取られている。つまりモードはデザイン性の証なのだ。 しかしユーザーインターフェースデザインの分野、特にコンピュータソフトウェアの操作性に関するテーマにおいては、モードはほとんどすべてのシステムが宿している原罪として、解決すべき問題として扱われる。 なぜ原罪なのかと言えば、コンピュータというものの発想自体の中に、用途によって役割を変える道具 ＝ 無数のモードを持つ多目的な存在としての性質が込められているからだ。そしてコンピュータは、その宿命であるモードによって、生得的に使いにくいと
repl.it
A website for my dream business A habit tracker to reach my goalsAn educational app for my kidsOr describe a different app idea… Replit Agent: The best AI for apps and websites Your own automated app developer Meet Replit Agent, an advanced AI making programming accessible to everyone. Build at the speed of thought and launch in minutes.
テキストエディタの共同編集機能はどのように実装されているのか - GIGAZINE
Webページに簡単に埋め込むことができるオープンソースのテキストエディタであるCKEditorの開発元が、リアルタイム共同編集機能を実装するにあたってのこだわりや工夫について公式ブログに投稿しています。 Lessons learned from creating a rich-text editor with real-time collaboration https://ckeditor.com/blog/Lessons-learned-from-creating-a-rich-text-editor-with-real-time-collaboration/ CKEditorは以下のような見た目のツールです。 共同編集機能を実装するにあたり、CKEditorでは以下の点にこだわったとのこと。 ・コンテンツをロックしない 同時に複数人が同じ段落や表、リストなどを編集できるようにする。 ・
Webアプリケーションのベンチマークをとるときに気をつけている10のこと - たごもりすメモ
10もないかも、と思いながら項目を書き出してみたら10以上余裕であってキリがないので10で収めた。いやあ、あるなあ。 仕事柄よくベンチマークを実行したりしてて色々と思うところが溜まっていたところ、以下のような記事を見掛けたのでなんか書こうと思った。ところでこの記事はベンチマークを実行するための準備作業がループを回して2時間かかるところの待ち時間に書かれている。 sfujiwara.hatenablog.com ISUCONといえば多少縁があるコンテストで、文中でISUCON5のことについても言及されているので、それも含めて。 自分が業務でいじっているのは "Webアプリケーション" というとちょっと違うんじゃないのというものばかりだが、いやー、最近なんでもHTTPで外部APIを作るからベンチマークのコツとしては大体変わんなかったりするよね。 なおこの記事でベンチマークはどのようなものかとか
Alternative code styles | Samuel Walladge
There are many good, neat code style guides. These lay out standards for things like indentation, whitespace, line length, naming conventions, and more. Some well-known examples are: PEP8 for Python Linux kernel coding style for C Airbnb JavaScript Style Guide Ok, so there are also plenty of information, history, tools, etc. for popular styles. Enough on them. Let's look at some lesser known alter
Halite AI Programming Challenge | Halite AI Challenge
Two Sigma uses third-party advertising and advertising analytics cookies that allow us and our partners to serve your more relevant advertisements across platforms. You may accept or decline our use of these kinds of cookies by selecting “accept” or “decline” below. For more information about our privacy practices, please visit our Cookies Policy here.
この DOM がすごい2018: worker-dom - mizchi's blog
おもしろライブラリを見つけて興奮しているので紹介します。 UIスレッド(メインスレッド)からユーザー操作をブロックしてしまうような重い処理を逃がす off-the-main-thread を実践しようとなると、実際に問題になるのは、ほとんどの処理は何らかの形で DOM を参照し、それに連なるものが処理時間の殆どを占めている、ということです。 off-the-main-thread の時代 - mizchi's blog DOM に触れない WebWorker でビジネスロジックを処理するのは、ある種の健全性(Universal/Isomorphic)を手に入れるための「縛りプレイ」として有用ですが、現状は実用上のメリットが殆どありません。 例えば react / redux の reducer で、ビジネスロジックを worker 側に移して処理できるぐらいアイソモーフィックに(DOMに触
Designing Fluid Interfaces - WWDC18 - Videos - Apple Developer
Streaming is available in most browsers, and in the Developer app. Discover the techniques used to create the fluid gestural interface of iPhone X. Learn how to design with gestures and motion that feel intuitive and natural, making your app a delight to use. Resources Explore the Human Interface Guidelines Positioning content relative to the safe area UIView HD Video SD Video Presentation Slides
実践的低レベルプログラミング
はじめに 学校で習わないが(習う学校もある)、現実に必要になるプログラミング技術に、低レイヤプログラミングなどと呼ばれるものがある 厳密な定義は聞いたことがないし、おそらく存在しないとは思うが、大体のみんなの共通認識として、 「高級プログラミング言語を使わないプログラムを書き、OSで抽象化されないデバイスの機能を使う」といったような認識があると思う。 筆者の経験から言わせてもらうならば、低レイヤプログラミングに関する知識は、プログラミングにおいてあらゆる場面で、常に、少しずつ役立てられる知識だと言えると思う。 普段はRubyやPHPなどを書いてる人であったとしても、メモリが足りなくなった場合や、デバッガを使っている場合、性能が足りなくなった場合など、 厳しい環境におかれた時に低レイヤプログラミングに関する知識が必ず役に立つ場面が来ると信じている。 また、役に立つかどうかは置いておいても、「
プログラミングと女性の歴史
Sep 17, 2018 ソフトウェアエンジニアの分野で活躍する女性がもっと増えてほしいという議論が日本だけでなくさまざまな場所で行われています。 数字で正確に推し量る事は難しいですが、やはり男性が多数を占める業界であるという認識が共有されています。 2013年にサンフランシスコで行われたJessica Lynn Suttlesさんの講演は個人的に目からウロコの内容でした。 歴史を紐解いて見ると、プログラミングへの大きな貢献を残した女性は数多く「女性が切り開いた業界」であるという一面があります。今回は海外で行われた講演や記事から読み取れる内容をまとめます。 その後、Ruby On Alesにてほぼ同じ内容の講演が行われこちらはアーカイブが残っています。(関係ないですが、confreaksはいいサイトですね。) The History of Women in Programming 世界初の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - lettier/lambda-lantern: A 3D game about functional programming patterns. Uses PureScript, PureScript Native, C++, and Panda3D.
女の子だってプログラマーになれる | Rails Girls 潜入レポート | Global Sense Co., Ltd.
GitHub - kylestetz/slang: 🎤 a simple audio programming language implemented in JS
seccamp2018でセルフホストCコンパイラをつくった - Speaker Deck
