WebAssembly向け多倍長演算の実装Master Canary Forging: 新しいスタックカナリア回避手法の提案 by 小池 悠生 - CODE BLUE 2015CODE BLUE
静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム
Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．
無限
・集合はそのある真部分集合と一対一対応があるとき，無限集合と呼ばれる ・集合間の大小関係は，その集合間の写像の存在に基づいた濃度で表す ・集合はその全ての要素を並べることができるとき，可付番集合と呼ばれる ・自然数，整数，偶数，奇数，有理数，自然数の直積集合などは可付番集合 ・実数は可付番集合ではない（カントールの対角線論法） ・実数の濃度は自然数の濃度よりも高く，自然数の冪集合の濃度に等しい ・冪集合の濃度はもとの集合の濃度よりも高くなる ・可付番無限集合の濃度をアレフ・ゼロと呼ぶ ・可付番無限集合は濃度が最小の無限集合であるRead less
NumPyの歴史とPythonの並行処理
Python has become a standard for interactive scientific research. NumPy arrays can represent multi-dimensional data and support common operations. Parallel processing can speed up tasks using multiprocessing or multithreading. Executors allow running functions concurrently by mapping tasks to threads or processes.Read less
Revisiting b+-trees
This document discusses B+-trees, which are commonly used to index data in databases. It provides an overview of the structure and functionality of B+-trees, including keys, pointers, fanout, leaf nodes, and internal nodes. It also describes Btree4j, an open source Java implementation of B+-trees that supports features like paging, prefix indexing, and bulk loading. The document aims to revisit th
Ponylangとこれからの並行プログラミング
The document discusses the Ponylang programming language. It covers three main topics: 1) Concurrency in Ponylang uses the actor model or shared memory with synchronization to avoid data races and deadlocks. 2) Ponylang uses capabilities to safely share isolated or immutable state between actors. 3) The Ponylang runtime provides fast actors through techniques like message passing and a read/write
データ履歴管理のためのテンポラルデータモデルとReladomoの紹介 #jjug_ccc #ccc_g3
初心者向けにMongoDBの基本を解説しています。 この資料は2014/3/1のOSC 2014 Tokyo/Springで発表しました 。 2015/3/3最新の情報で一部アップデートしました。 2015/7/15MongoDB ver3.0ようにちょっと修正しました。 This document summarizes a microservices meetup hosted by @mosa_siru. Key points include: 1. @mosa_siru is an engineer at DeNA and CTO of Gunosy. 2. The meetup covered Gunosy's architecture with over 45 GitHub repositories, 30 stacks, 10 Go APIs, and 10 Python ba
図形パズル 双子カバリング問題の深淵
Mental health has been in the news quite a bit lately. Dozens of U.S. states are currently suing Meta for contributing to the youth mental health crisis by inserting addictive features into their products, while the U.S. Surgeon General is touring the nation to bring awareness to the growing epidemic of loneliness and isolation. The country has endured periods of low national morale, such as in th
Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．
Pythonの処理系はどのように実装され，どのように動いているのか？ 我々はその実態を調査すべくアマゾンへと飛んだ．
Steamで同人ゲームをリリースする ～パブリッシャーになって検証してみた～
講演アーカイブ：準備中 講演内容： 2020年6月にリリースされたNintendo Switch™向け対戦ニンジャガムアクションゲーム『ニンジャラ』は、UE4を使用して最大8人のマルチプレイを60fps駆動で実現しています。UE4の最適化ノウハウは数多く共有されていますが、本講演では実際にNintendo Switch™で60fpsを実現する為に、『ニンジャラ』で行った最適化、高速化手法を紹介いたします。 講演者： 角田 高宏 ( ガンホー・オンライン・エンターテイメント株式会社 チーフプログラマー) 江原 崇将 ( ガンホー・オンライン・エンターテイメント株式会社 チーフデザイナー) UNREAL FEST EXTREME 2020 WINTER 再生リスト https://www.youtube.com/playlist?list=PLr_Cbd4sUDTzxG9a4TrU0Rg6-A
正規表現に潜む対称性 〜等式公理による等価性判定〜
The document discusses regular expressions and finite automata. It begins by defining regular expressions using operations like concatenation, sum, and star. It then discusses how to interpret regular expressions by defining the language they represent. The document goes on to discuss how finite automata can also represent languages and how regular expressions and automata are equivalent based on
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
「龍が如くスタジオ」のQAエンジニアリング技術を結集した全自動バグ取りシステム
PenTesterが知っている危ないAWS環境の共通点
アプリをエミュレートするアプリの登場とその危険性 / How multi-account app works
TeXの気持ちを理解するために知っておくと役立つかもしれないこと
文章を読み、理解する機能の獲得に向けて-Machine Comprehensionの研究動向-
GoogleのSHA-1のはなし
今から始める Lens/Prism
Rust is for Robots!
自動微分変分ベイズ法の紹介
