The Janet Programming Language
Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, BSDs, and should run on other systems with some porting. The entire language (core library, interpreter, compiler, assembler, PEG) is less than 1MB. You can also add Janet scripting to an application by embedding a single C source file and a single header. Use Cases Janet makes a good system scripting lang
"Detecting Argument Selection Defects" ã‚’èªã‚“ã - blog.8-p.info
去年㫠Twitter 㧠Kentaro Hara ã•ã‚“ãŒç´¹ä»‹ã—ã¦ã„㟠Googleã®2å„„è¡Œã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’解æžã—ãŸçµæžœã€é–¢æ•°ã«æ¸¡ã™å¼•æ•°ã®é †ç•ªã‚’é–“é•ãˆã‚‹ç³»ã®ãƒã‚°ã¯ã€å¼•æ•°ã®å€‹æ•°ãŒ6個以上ã«ãªã£ãŸã¨ãã«è‘—ã—ã増ãˆã‚‹ã®ã§ã€å¼•æ•°ã®å€‹æ•°ã¯5個以下ãŒæœ›ã¾ã—ã„ã“ã¨ãŒã‚ã‹ã£ãŸã¨ã„ã†è©±ã€‚ Andrew et al. ã® Detecting Argument Selection Defects ã‚’èªã‚“ã 。 é¡Œåã®é€šã‚Šã€Œå¼•æ•°ã®æ¸¡ã—é–“é•ã„ã«ã‚ˆã‚‹ãƒã‚°ã‚’見ã¤ã‘ã‚‹ã€ã“ã¨ã«æŒ‘ã‚“ã è«–æ–‡ã§ã€è‘—者らã¯æ案ã—ã¦ã„るアルゴリズムを Error Prone ã®ãƒ‘ターンã¨ã—ã¦å®Ÿè£…ã—ã€Google 社内ã®ã¿ãªã‚‰ãšã€ã‚ªãƒ¼ãƒ—ンソースソフトウェアã«ã‚‚ãƒã‚°ã‚’å ±å‘Šã€å®Ÿéš›ã«ä¿®æ£ã•ã›ã¦ã„る。ã“ã“ã§ã®ã€Œã‚ªãƒ¼ãƒ—ンソースソフトウェアã€ã«ã¯ã€ãªã‚“㨠OpenJDK ã® ConcurrentHashMap ã‚‚å«ã¾ã‚Œã¦ã„る。 アルゴリズムã¯ã‚ã‹ã‚Šã‚„ã™ã„。引数ã®
Dmitri Shuralyov - Blog
Rendering a Triangle with Apple's Metal API, using Go Did you learn that macOS 10.14 and newer has marked its OpenGL API support as deprecated? Are you interested in giving Apple's Metal API a try? Are you a fan of Go and don't feel like switching to Swift or Objective-C for this? Then this post is for you. By the end of this post, we'll render a single frame with a colorful triangle using Metal.
CS242 website
Announcements This page shoud be fully up to date for Fall 2024. Overview CS242, Programming Languages, covers the basics of the theory of programming languages, its applications to widely used languages today, and trends in the field that are likely to help define the programming languages of tomorrow. The techniques covered in the class also provide a set of intellectual tools that students can
低レイヤーã®æ©ãæ–¹ - ã‚‹ãã™ã®æ—¥è¨˜ ~ Out_Of_Range ~
ã“ã®è¨˜äº‹ã¯ Kobe University Advent Calendar25日目ã®è¨˜äº‹ã§ã™ã€‚ 低レイヤー技術(後述)ã‚’ã“ã‚Œã‹ã‚‰å¦ã³ãŸã„人å‘ã‘ã®å…¥é–€è¨˜äº‹ã§ã™ã€‚ 自身ã®çµŒé¨“ã‚’è¸ã¾ãˆã€ã‚ˆã‚Šå¤šãã®äººé”ã«ã“ã®ãƒ¬ã‚¤ãƒ¤ãƒ¼ã«èˆˆå‘³ã‚’æŒã£ã¦ã»ã—ãã¦æ›¸ãã¾ã—ãŸã€‚ 決ã—ã¦å’è«–ãŒã‚„ã°ãã¦Advent calendarã®ãƒã‚¿ãŒä½œã‚Œãªã‹ã£ãŸã‚ã‘ã§ã¯(ry ãªãœã“ã‚“ãªè¨˜äº‹ã‚’書ã„ãŸã‹ ã„ã‚ゆるシステムプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚ˆã†ãªä½Žãƒ¬ã‚¤ãƒ¤ãƒ¼(ã¨è¨€ã£ã¦å·®ã—支ãˆãªã„)ジャンルã£ã¦ä¸€ä½“何ã‹ã‚‰å§‹ã‚ã‚Œã°è‰¯ã„ã®ã‹ã„ã¾ã„ã¡ãƒ”ンã¨æ¥ãªã„ã—ã€ä½•ãŒé¢ç™½ã„ã®ã‹ã‚‚分ã‹ã‚‰ãªã„ã¨æ€ã‚ã‚Œã¦ã„る事ãŒå¤šã„ã¨æ€ã„ã¾ã™ã€‚ ã«ã‚‚ã‹ã‹ã‚らãšä½Žãƒ¬ã‚¤ãƒ¤ãƒ¼ã®é…力やå¦ã³æ–¹ã®æŒ‡é‡ã¿ãŸã„ãªç‰©ã‚’示ã—ãŸã€ã„ã‚ゆる入門記事ã£ã¦ã‹ãªã‚Šå°‘ãªã„ã‚“ã§ã™ã‚ˆã。 本記事ã¯ã“ã‚Œã‹ã‚‰ã‚·ã‚¹ãƒ†ãƒ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã‚’始ã‚ãŸã„方やã€æ—¢ã«ã‹ã˜ã£ã¦ã¿ãŸãŒä¸ã€…å…ˆãŒè¦‹ãˆã¦ã“ãªã„ã€å°†æ¥ä½•ã®å½¹ã«ç«‹ã¤ã®ã‹ä¸å®‰ã¨ã„ã†æ–¹é”ã«èªã‚“ã§ã„
Turing Complete FM
カーãƒã‚®ãƒ¼ãƒ¡ãƒãƒ³å¤§å¦ã®å®¢å“¡ç ”究員ã¨ã—ã¦æ˜Žæ—¥ã‹ã‚‰èµ´ä»»ã™ã‚‹ã‚‹ãã™ãã‚“ã¨ã€ã‚³ãƒ³ãƒ”ュータã®ã‚»ã‚ュリティやã€ã‚·ã‚¹ãƒ†ãƒ ズ系ã®ã‚³ãƒ³ãƒ”ュータサイエンスã®è«–æ–‡ãªã©ã«ã¤ã„ã¦è©±ã‚’ã—ã¾ã—ãŸã€‚
ソフトウェア・グãƒãƒ¼ãƒãƒªã‚¼ãƒ¼ã‚·ãƒ§ãƒ³å…¥é–€ 　I18Nã¨L10Nã‚’ç†è§£ã™ã‚‹
世界ã§ä½¿ã‚れるソフトウェアを作るã«ã¯ã€å›½éš›åŒ–(Internationalization, I18N)+地域化(Localization, L10N)ãŒæ¬ ã‹ã›ã¾ã›ã‚“。本書ã¯ã‚¢ã‚¸ãƒ£ã‚¤ãƒ«æ™‚代ã«å¯¾å¿œã—ãŸã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã®ã‚°ãƒãƒ¼ãƒãƒªã‚¼ãƒ¼ã‚·ãƒ§ãƒ³(G11N)ã«ã¤ã„ã¦ã€ãã®åŸºæœ¬ã‹ã‚‰é–‹ç™ºãƒ—ãƒã‚»ã‚¹ãƒ»å…·ä½“çš„ãªæ‰‹æ³•ã‚„ツールã¾ã§ã€G11Nã®å…¨ä½“を解説ã—ã¾ã™ã€‚ 関連サイト本書ã®é–¢é€£ãƒšãƒ¼ã‚¸ãŒç”¨æ„ã•ã‚Œã¦ã„ã¾ã™ã€‚ 西野竜太郎書ç±ã‚µãƒãƒ¼ãƒˆå†…容紹介WebアプリケーションやスマートフォンãŒåºƒã使ã‚れるç¾åœ¨ã€ä¸–ç•Œä¸ã§ä½¿ã‚れるソフトウェアを開発・é…布ã™ã‚‹ãŸã‚ã®éšœå£ã¯è–„ã¾ã‚Šã¤ã¤ã‚ã‚Šã¾ã™ã€‚ã—ã‹ã—ãªãŒã‚‰ã€å¤šãã®äººãŸã¡ã«ä½¿ã£ã¦ã‚‚らã†ã«ã¯ã€ã•ã¾ã–ã¾ãªè¨€èªžã‚„文化ã«å¯¾å¿œã—ãŸã€ã‚°ãƒãƒ¼ãƒãƒ«ãªã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’開発ã—ãªã‘ã‚Œã°ãªã‚Šã¾ã›ã‚“。 本書ã¯ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢é–‹ç™ºã«ãŠã‘ã‚‹ã‚°ãƒãƒ¼ãƒãƒªã‚¼ãƒ¼ã‚·ãƒ§ãƒ³(Globalization, G11N)ã«ã¤ã„ã¦ã®æœ¬ã§ã™ã€‚ã‚°ãƒãƒ¼ãƒãƒ«ãªã‚½
P言語ã®ç´ 晴らã—ã•ã«ã¤ã„㦠- kuenishi's blog
先週Microsoft社ãŒP言語ã«é–¢ã™ã‚‹ãƒ–ãƒã‚°è¨˜äº‹ã‚’公開ã—一部界隈ã§è©±é¡Œã¨ãªã£ãŸã€‚ P言語ãã‚“ pic.twitter.com/uULzxIO4ct— Kuntaro Ishiyama (@_iamkuntao) 2017å¹´3月26æ—¥ 「ã„ã¾ã•ã‚‰ä¸€æ–‡å—言語ã‹ã‚ˆâ€¦ã€ã€Œä½•å€‹ç›®ã ？ã€ã¨ã„ã£ãŸæ‰¹åˆ¤çš„諦念的ãªã‚‚ã®ã‹ã‚‰ã€ã€ŒRustã¨Goã¨Erlangã®é–“ã®åã¿ãŸã„ãªã®ã ãªã‚ã€ã€Œãªã‚“ã‹èªã¿ã«ãã„ã€ã¨ã„ã£ãŸåå¿œãŒå¤šãã“ã®è¨€èªžã®é‡è¦æ€§ã‚„インパクトã«å¯¾ã—ã¦æ£ã—ãç†è§£ã—ã¦ã„ã‚‹ã‚‚ã®ãŒã‚ã¾ã‚Šãªã‹ã£ãŸã€‚尊敬ã—ã¦ã„ã‚‹TDå‹¢ã§ã™ã‚‰ã‚ã¾ã‚Šé‡è¦æ€§ãŒä¼ã‚ã£ã¦ãªã„よã†ã 1 2 。上記ã®ãƒ–ãƒã‚°è¨˜äº‹ã‚’èªã‚“ã ã‚Šã€ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã‚’èªã‚“ã らã™ã分ã‹ã‚‹ã‚ˆã†ãªã“ã¨ã§ã¯ã‚ã‚‹ãŒã€æ—¥æœ¬èªžã§è§£èª¬ã—ã¦ãŠã“ã†ã¨æ€ã†ã€‚ãªãŠã„ã‚ゆる言語入門ã¨ã‹ãã†ã„ã£ãŸé¡žã®ã‚‚ã®ã§ã¯ãªã„ã“ã¨ã‚’ã”ç†è§£ã„ãŸã ããŸã„。 TL;DR 並行処ç†ã‚„分散システムã®å½¢å¼è¨¼æ˜Žã‚„å½¢å¼æ¤œè¨¼ã¯ãれ自体
CSES - Competitive programming books
Competitive Programmer's Handbook is a free online book whose purpose is to give the reader a thorough introduction to competitive programming. You can download the book here (PDF) and view the project on GitHub. Guide to Competitive Programming is a printed book, published by Springer. It is based on Competitive Programmer's Handbook, but also discusses more advanced topics. You can buy the book,
Exercism
Get really good at programming. Develop fluency in 74 programming languages with our unique blend of learning, practice and mentoring. Exercism is fun, effective and 100% free, forever.
GitHub - marcobambini/gravity: Gravity Programming Language
Gravity is a powerful, dynamically typed, lightweight, embeddable programming language written in C without any external dependencies (except for stdlib). It is a class-based concurrent scripting language with modern Swift-like syntax. Gravity supports procedural programming, object-oriented programming, functional programming, and data-driven programming. Thanks to special built-in methods, it ca
書評「型システム入門〠- 純粋関数空間
追記：Amazonã®ãƒªãƒ³ã‚¯ã‚’å¼µã£ã¦ã„ã¾ã™ãŒã€ã‚ªãƒ¼ãƒ 社ã®ã‚µã‚¤ãƒˆ http://estore.ohmsha.co.jp/titles/978427406911P ã‹ã‚‰ã‚‚購入ã§ãã¾ã™ã€‚ Amazonã®Kindle版ã¯ã¾ã 出ã¦ã„ãªã„よã†ã§ã™ãŒã€ ã“ã¡ã‚‰ã‹ã‚‰ã¯ä»Šç¾åœ¨ã§DRMãªã—ã®PDFも購入ã§ãã¾ã™ã€‚ Kindle版リリースã®éš›ã«ã‚‚〠フãƒãƒ¼ãƒ¬ã‚¤ã‚¢ã‚¦ãƒˆã«ãªã‚‹äºˆå®šã¯ãªã„ãã†ã§ã™ã®ã§ã€ Amazonã«ã“ã ã‚ã‚ŠãŒã‚ã‚‹ã®ã§ãªã‘ã‚Œã°ã€ é›»å版ã§èªã¿ãŸã„ã¨ã„ã†æ–¹ã¯ã€ã“ã¡ã‚‰ã‹ã‚‰è³¼å…¥ã•ã‚Œã‚‹ã®ãŒè‰¯ã„ã‹ã¨æ€ã„ã¾ã™ã€‚ ã‚らã‹ã˜ã‚ãŠæ–ã‚Šã—ã¦ãŠãã¾ã™ã¨ã€ ã“ã®è¨˜äº‹ã¯æ›¸è©•ã§ã¯ãªãã€å®£ä¼ã§ã™ã€‚ æ•°å¹´å‰ã«åŽŸè‘—ã‚’èªã‚“ã 時ã‹ã‚‰ã€ 本書ã¯ç§ã®ä¸ã§ã¯é–“é•ã„ãªã良書ã¨ã„ã†ã“ã¨ã«ãªã£ã¦ãŠã‚Šã¾ã™ã®ã§ã€ ç§ãŒã„ã¾ã•ã‚‰å†…容ã®å–„ã—悪ã—を語るã“ã¨ã«ã¯ã€ ã¯ã˜ã‚ã‹ã‚‰æ„味ãŒãªã„ã¨æ€ã£ã¦ãŠã‚Šã¾ã™ã€‚ ãªã®ã§ã“ã“ã§ã¯ã€ã“ã®æœ¬ã®é…力ã€èªã‚“ã§æ¬²ã—ã„人ã€ã©ã†ã„ã†é¢¨ã«èª
型システム入門 プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åž‹ã®ç†è«– | オーム社 eBook Store
型システムã¨ã¯ã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å®‰å…¨æ€§ã‚„効率を高ã‚ã‚‹ã†ãˆã§é‡è¦ãªç†è«–・手法ã§ã™ã€‚本書ã¯ã€ãã®åž‹ã‚·ã‚¹ãƒ†ãƒ ã«ã¤ã„ã¦åŸºç¤Žçš„ãªè©±é¡Œã‚’網羅ã—ã€å®Ÿè£…例を交ãˆã¦ä¸å¯§ã«è§£èª¬ã—ãŸThe MIT Press発行ã®è§£èª¬æ›¸â€œTypes And Programming Languagesâ€ï¼ˆTAPL）を翻訳ã—ãŸã‚‚ã®ã§ã™ã€‚言語è¨è¨ˆè€…ã‚„å¦ç”Ÿã ã‘ã§ãªãã€é™çš„型付言語を深ãç†è§£ã—ã¦æ´»ç”¨ã—ãŸã„プãƒã‚°ãƒ©ãƒžãƒ¼ã«ã¨ã£ã¦ã‚‚è²´é‡ãªæƒ…å ±ã¨ãªã£ã¦ã„ã¾ã™ã€‚
The Computer Language Benchmarks Game
Which programs are fast? Which are succinct? Which are efficient?
apollo11å·ã®ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã‚’èªã¿ã¤ã¤ - aerith7’s blog
ã“ã‚Œã¯ãªã«ï¼Ÿ ã¯ã˜ã‚ã« AGCã‚ã‚Œã“ã‚Œ Temporary I HOPEHOPEHOPE ASTRONAUT NOW LOOK WHERE YOU ENDED UP ãµã¨æ°—ã«ãªã‚Šã¾ã—㟠ã„ã„時代ã§ã™ã 1201&1202エラー ãªã«ãれ？ ã‚«ã€ã‚«ãƒ«ãƒžãƒ³ãƒ•ã‚£ãƒ«ã‚¿ãƒ¼ã ーï¼ï¼ï¼ カルマンフィルターã®é–‹ç™ºçµŒç·¯ ãã®ä»–é¢ç™½ã‚³ãƒ¡ãƒ³ãƒˆã‚¢ã‚¦ãƒˆé›† TRASHY LITTLE SUBROUTINES（ã¤ã¾ã‚“ãªã„サブルーãƒãƒ³ï¼‰ NUMERO MYSTERIOSO（神秘ã®æ•°å—） OFF TO SEE THE WIZARD COME AGAIN SOON HONI SOIT QUI MAL Y PENSE（悪æ„を抱ã者ã«ç½ã„ã‚れ）ã€NOLI ME TANGERE（ç§ã«è§¦ã‚Œã‚‹ãªï¼‰ PINBALL_GAME_BUTTONS_AND_LIGHTS.agc ãŠã‚ã‚Šã« åçœ å‚考文献 ã“ã‚Œã¯ãªã«ï¼Ÿ ã“ã®è¨˜äº‹ã¯eeic Adv
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
A gentle introduction to multithreading
How do I comment q code?
Amazon.com: Introduction to Reliable and Secure Distributed Programming (English Edition): Cachin, Christian, Guerraoui, Rachid, Rodrigues, LuÃs: Digital Ebook Purchas
The Slash Programming Language
syntax in Mercury
{{#tags}}- {{label}}
{{/tags}}