wassup?
TODO多めのまま公開します。別に書いてた下書きが消えたので。 定理証明のコンテストシステムを作って、今日の夕方に第1回のコンテストを開催していた。https://t.co/8vi0dWszRW— あしぃ (@asi1024) 2019年8月18日 これです。 定理証明コンテストとは, 定理証明支援系を用いて与えられた定理に対して証明を与えるコンテストです。 現在コンテストサイトに実装されている支援系はCoqです。 Coqで解く問題の見た目はこんなかんじです。 Definition task := forall n m, n * S m = n + n * m. Theorem solution: task. Proof. unfold task. (* FILL IN HERE *) Qed. これはn×(m+1)とn+(n×m)が任意の自然数n,mについて等しいことを示せというものです
クックパッド サマーインターンシップ2017 「17day 技術インターンシップ」を開催しました - クックパッド開発者ブログ
いつもお世話になっております。エンジニア統括マネージャーの高井です。 クックパッドでは毎年恒例となりつつある、クックパッドのサマーインターンシップのうち「17day 技術インターンシップ」を開催しました。インターンに来てくれた学生のみなさんは本当に優秀で、毎日真剣に取り組んでくれました。本当に感謝しています！ インターンは、前半の「サービス開発講義・課題」パートと後半の「サービス開発実践」から構成されています。前半パートでの講義について資料を公開いたしますので、みなさまぜひご覧ください。 【1日目】サービス開発 初日は、クックパッドで実践されているサービス開発の手法について学ぶワークショップです。グループでのユーザーインタビューを通じてサービスの設計をしました。 【2日目】Rails・TDD・Git 昨年に引き続き、講義初日はGit、TDD、Railsを1日で一巡りするという、忙しい構成で
機械学習の取り組みを次々と実装！ クックパッドの“即戦力”新卒エンジニアが活躍できる背景とは - エンジニアHub｜Webエンジニアのキャリアを考える！
機械学習の取り組みを次々と実装！ クックパッドの“即戦力”新卒エンジニアが活躍できる背景とは 「若手エンジニア、どんな活躍してますか？」第5回は、日本最大の料理レシピサービスを運営するクックパッド編。発足から間もない研究開発部で、機械学習の開発基盤から実サービスへの組み入れまでを担当した新卒エンジニアが、入社後すぐに第一線で活躍できた背景を詳しく伺いました。 若手エンジニアのための情報メディア「エンジニアHub」。連載「若手エンジニア、どんな活躍してますか？」第5回は、日本最大の料理レシピサービスを運営するクックパッド編です。 2016年7月に発足したクックパッドの研究開発部で、機械学習の開発基盤から実サービスへの組み入れまでを担当したのは、新卒入社1年目の染谷悠一郎（そめや・ゆういちろう）さんでした。メンター役である部長の原島純（はらしま・じゅん）さんは「プログラミングに関しては染谷さん
Spot Instances in Cookpad #CookpadTechConf 2017
Using spot instances for application servers
夜の合同説明会 - クックパッド, ドワンゴ, グリー, はてな (2016/11/18 19:00〜)
注意 現在X(旧Twitter)でのソーシャルログインができない事象を確認しています。事前にX(旧Twitter)側で再ログインした上でconnpassのソーシャルログインを行うか、 「ユーザー名(またはメールアドレス)」と「パスワード」の組み合わせでのログインをお試しください。合わせてFAQもご確認ください。 お知らせ 2024年9月1日よりconnpassサービスサイトへのスクレイピングを禁止とし、利用規約に禁止事項として明記します。 9月1日以降のconnpassの情報取得につきましては イベントサーチAPI の利用をご検討ください。 お知らせ connpassではさらなる価値のあるデータを提供するため、イベントサーチAPIの提供方法の見直しを決定しました。2024年5月23日(木)より 「企業・法人」「コミュニティ及び個人」向けの2プランを提供開始いたします。ご利用にあたっては利用
クックパッド サマーインターンシップ2016の資料を公開します - クックパッド開発者ブログ
技術部開発基盤グループの @moro です。 クックパッドでは、昨年に引き続き今年も、夏の技術職インターンシップを実施しました。 クックパッドのインターンシップは前後半に分けた構成になっていました。まず前半はWebサービス開発に必要な技術の中から6つの分野に関する講義や実習を行いました。さらに後半は、前半の座学に合格した方を対象に、メンターとなる社員と一緒に実際の開発現場に入り、具体的な問題解決に取り組んでもらいました。 その中で、前半の講義に使った資料を公開します。 1日目 Git (@moro) 昨年に引き続き、講義初日はGit, TDD, Railsを1営業日で一巡りするという、忙しい構成でした。 Git編では、すでにGitを使っているエンジニアも多いだろうと想定して各コマンドの紹介などは最小限に済ませました。代わりに、Gitの内部構造を説明し「コミットを覚えておけばなんとかなる」感
クックパッドサマーインターンシップ2016に参加した - Labo Memo
8月10日から9月2日の間，クックパッドのサマーインターンシップに参加してた． recruit.cookpad.com Webサービス開発講義 前半の7日間はサービス開発に用いられている技術の基礎の部分についての講義を受けた． 特に印象に残ってるのは「サービス開発」と「プログラミングパラダイム」の講義． サービス開発の講義は唯一コードを書かない講義． すでに設定された価値仮説のもとユーザーストーリーを作成，そのユーザーストーリーを実現できるようなプロトタイプをつくりユーザーインタビューを通して価値仮説が正しかったかを検証する一連の流れを実際に体験した． プロトタイプをinvisionで作った段階では「これならユーザーに喜んでもらえるだろ！」と自信がそこそこあった． だが実際にユーザーにインタビューしてみると「いや，この機能あっても多分使わないですね...」みたいな反応が返ってきてマジかって
Ruby on Rails アプリケーションにおけるモンキーパッチの当て方 - クックパッド開発者ブログ
技術部の牧本です。 今日はモンキーパッチの話をします。 モンキーパッチとは何か そもそもモンキーパッチ (monkey patch) とは何でしょうか? 端的に言えば、言語の組み込みクラスやライブラリ、その他外部ライブラリの挙動を、動的に拡張する仕組みをモンキーパッチと呼びます。 *1 例えば、Ruby のモンキーパッチのすごく単純な例として以下のようなものがあります。 module NilClassExtension def empty? true end end NilClass.prepend(NilClassExtension) インスタンスが空であるかどうかを判定するメソッドとしての #empty? は String や Array など様々なクラスに存在しますが、 nil を唯一のインスタンスとする NilClass には本来は存在しません。 このモンキーパッチを導入することで
社員インタビューマラソン vol.1 〜 兼山 元太（検索事業部） 〜 - Cookpad Staff blog
はじめまして、みらくいたんです。 このシリーズではクックパッド社員に、普段のお仕事や働き方についてインタビューしていきます。 第一弾は、検索事業部の「兼山元太」さんです！彼は2010年からレシピ検索機能の開発に取り組んできた重要人物の一人です。 では、さっそくいってみましょう！ みらくいたん：かねやまさん、かねやまさん、最近のお仕事ぶりをインタビューさせてください！ 兼山さん：あ、みらくいたん！もちろん大丈夫です〜。 いつもの食材の新しい食べ方 みらくいたん：最近はどういったことに燃えているんですか？ 兼山さん：最近、Androidアプリで新しい機能をリリースしたんです！ 今回リリースした機能は、アプリのトップ画面をガラリと変えて、いつもの食材の新しい食べ方（メニュー）を提案するというものです。順次公開対象をひろげて、9月以降にすべてのユーザーにリリース予定です。 兼山さん：今までのクック
nginx で omniauth を利用してアクセス制御を行う - クックパッド開発者ブログ
インフラストラクチャー部 id:sora_h です。クックパッドでは、社内向けの Web アプリ (以降 “社内ツール”) を社外のネットワークから利用する際、アプリケーションレベルでのアクセス制御とは別に、リバースプロキシでもアクセス制御を実施しています。*1 これまで BASIC 認証あるいは VPN による社内ネットワークを経由した接続という形で許可していました。しかし、iOS の Safari などでは BASIC 認証時のパスワードを保存できない上、頻繁に入力を求められてしまいますし、VPN はリンクを開く前に接続をしておく必要があります。これにより、社内ツールを社外で開く時に手間がかかってしまう問題がありました。 これに対し、一部では typester/gate などを導入し Google Apps での認証を行なっていました。しかしいくつか問題があり、非アドホックな対応では
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cookpad.com 全 HTTPS 化の軌跡
Cookpad Tech Internship 2016に行ってきました
About Rails at Cookpad Summer Intern 2016 day1
クックパッド、創業者退陣要求で労組を結成