An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise | USENIX
An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise Hongyu Li, Beijing University of Posts and Telecommunications; Liwei Guo, University of Electronic Science and Technology of China; Yexuan Yang, Shangguang Wang, and Mengwei Xu, Beijing University of Posts and Telecommunications Awarded Best Paper! Developed for over 30 years, Linux has already become the computing
Google Scholar PDF Reader - Chrome Web Store
Deutsch, English, Filipino, Indonesia, Nederlands, Tiếng Việt, Türkçe, català , dansk, español, español (Latinoamérica), français, hrvatski, italiano, latvieÅ¡u, lietuvių, magyar, norsk, polski, português (Brasil), português (Portugal), română, slovenÄina, slovenÅ¡Äina, suomi, svenska, ÄeÅ¡tina, Ελληνικά, българÑки, руÑÑкий, ÑрпÑки, українÑька, ‫עברית‬‎, ‫العربية‬‎, ‫Ùارسی‬‎, हिनà¥à¤¦à¥€, ไทย, ä¸æ–‡ï¼ˆä¸å›½ï¼‰, ä¸æ–‡ï¼ˆå°
ã€è«–文】Tree of Thoughts: Deliberate Problem Solving with Large Language Models - TadaoYamaokaã®é–‹ç™ºæ—¥è¨˜
LLMã§æ€è€ƒã‚²ãƒ¼ãƒ ã®ã‚ˆã†ãªæŽ¨è«–ãŒå¿…è¦ãªã‚¿ã‚¹ã‚¯ã‚’å¯èƒ½ã«ã™ã‚‹æ‰‹æ³•ã«é–¢ã™ã‚‹è«–文「Tree of Thoughts: Deliberate Problem Solving with Large Language Modelsã€ã‚’èªã‚“ã éš›ã®ãƒ¡ãƒ¢ã€‚ LLMã¯ã‚¢ã‚¤ãƒ‡ã‚£ã‚¢ã‚’出ã—ãŸã‚Šã™ã‚‹å‰µä½œçš„ãªã‚¿ã‚¹ã‚¯ã‚„ã€è¦ç´„や翻訳ã®ã‚ˆã†ãªå¤‰æ›ã®ã‚¿ã‚¹ã‚¯ã¯å¾—æ„ã ãŒã€è«–ç†çš„ãªæ€è€ƒãŒå¿…è¦ãªã‚¿ã‚¹ã‚¯ã¯æ¯”較的苦手ã§ã‚る。 Chain-of-thought (CoT)ã®ã‚ˆã†ãªãƒ—ãƒãƒ³ãƒ—トエンジニアリングã«ã‚ˆã£ã¦ã€æ•°å¦ã®å•é¡Œã‚‚ã‚る程度解ã‘るよã†ã«ãªã£ã¦ã„ã‚‹ãŒã€ä¾‹ãˆã°å°†æ£‹ã®ã‚ˆã†ãªæ€è€ƒã‚²ãƒ¼ãƒ をプレイã™ã‚‹ã‚ˆã†ãªã“ã¨ã¯ã§ããªã„。 ã“ã®ç ”究ã§ã¯ã€LLMã¨ãƒ’ューリステックãªæŽ¢ç´¢ã‚’組ã¿åˆã‚ã›ã‚‹ã“ã¨ã§ã€Game of 24ã¨ã„ã†ç°¡å˜ãªæ€è€ƒã‚²ãƒ¼ãƒ を解ãã“ã¨ãŒã§ãる手法をæ案ã—ã¦ã„る。 LLMã®ç‰¹æ€§ã¨ã—ã¦ã€ãƒˆãƒ¼ã‚¯ãƒ³ã‚’é †ç•ªç”Ÿæˆã™ã‚‹éŽç¨‹ã§ã€é€”ä¸ã§é–“é•ã„ã«æ°—ã¥ã„ã¦ã‚‚後
ã©ã®ã‚ˆã†ã«è«–文をèªã‚€ã‹ - FPGA開発日記
仕事柄論文をèªã‚€æ©Ÿä¼šã¯å¤šãã‚ã£ã¦ã€è‡ªåˆ†ãªã‚Šã®èªã¿æ–¹ã€ã¾ã¨ã‚æ–¹ã€æ·±å €ã®ä»•æ–¹ãªã©ã¯ã‚る程度ルーティンãŒã‚ã‚Šã¾ã™ã€‚ã—ã‹ã—ãã‚ŒãŒæœ¬å½“ã«æœ€é©è§£ãªã®ã‹ã©ã†ã‹ã¯åˆ†ã‹ã‚Šã¾ã›ã‚“。もã£ã¨è‡ªåˆ†ã«åˆã£ãŸã‚„ã‚Šæ–¹ãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„ã—ã€ä»Šã®æ–¹æ³•ãŒãƒ™ã‚¹ãƒˆãªã®ã‹ã‚‚ã—ã‚Œãªã„。 "How to read a paper" ã¨ã„ã†ã€è«–æ–‡ã€ã¨ã„ã†ã‹è«–文形å¼ã®ãƒ¡ãƒ¢ãŒã‚ã‚Šã€ã“ã‚Œã¯å½“時カナダã®Waterloo大å¦ã«ã„ãŸSrinivasan Keshav先生ãŒé•·å¹´ã®çµŒé¨“ã‹ã‚‰ã©ã®ã‚ˆã†ã«è«–文をèªã‚ã°ã‚ˆã„ã®ã‹ã¨ã„ã†ã®ã‚’ã¾ã¨ã‚ãŸã‚‚ã®ã«ãªã£ã¦ã„ã¾ã™ã€‚ã“れをèªã‚“ã§ã¿ã¦ã€ãªã‚‹ã»ã©ãªã¨æ€ã£ãŸã®ã§ãƒ¡ãƒ¢ã¨ã—ã¦æ®‹ã—ã¦ãŠãã¾ã™ã€‚ ã¡ãªã¿ã«æ¤œç´¢ã™ã‚‹ã¨ã“ã®å…ˆç”Ÿã¯ç¾åœ¨ã¯ã‚±ãƒ³ãƒ–リッジ大å¦ã®å…ˆç”Ÿã®ã‚ˆã†ã§ã™ã€‚よã見ã¦ã¿ã‚‹ã¨æ—¥æœ¬èªžã«è¨³ã•ã‚Œã¦ã„る方もã„るよã†ã§ã€åŽŸæ–‡ã¨æ—¥æœ¬èªžè¨³ã¯ä¸€èªã®ä¾¡å€¤ãŒã‚ã‚Šã¾ã™ã€‚ http://svr-sk818-web.cl.cam.ac.uk/kesha
二段組ã¿ã®PDFã‚’èªã¿ã‚„ã™ã変æ›ã™ã‚‹ - 2014-12-11 | è‘‰æœˆå¤œå ‚
本当ã¯ã“ã‚“ãªã“ã¨ã‚„ã£ã¦ã‚‹å ´åˆã˜ã‚ƒãªã„ã‚“ã§ã™ã‘ã‚Œã©ï¼ˆï¼ï¼‰ã‚ã¾ã‚Šã«æ„Ÿå‹•ã—ãŸã®ã§æ›¸ã„ã¦ãŠã． PDFファイルã®è«–文をèªã‚€ã¨ãã«ä¸€æ®µçµ„ã¿ï¼ˆï¼Ÿï¼‰ãªã‚‰ã°ä¸Šã‹ã‚‰ä¸‹ã«ç›®ç·šã‚’進ã‚ã‚Œã°ã‚ˆã„ãŒäºŒæ®µçµ„ã¿ã ã¨ãã†ã„ã†ã‚ã‘ã«ã„ã‹ãšéšåˆ†å‰ã‹ã‚‰ä¸ä¾¿ã«æ€ã£ã¦ã„ãŸï¼Žã§ï¼Œæœ€è¿‘見ã¤ã‘ãŸk2pdfoptã¨ã„ã†ãƒ„ールãŒã‹ãªã‚Šä¾¿åˆ©ï¼ŽWindows, Linux, OS Xã§å‹•ãï¼Žç´ æ™´ã‚‰ã—ã„．導入ã¯ã‚·ãƒ³ãƒ—ル．é…布ã®ãƒã‚¤ãƒŠãƒªã‚’è½ã¨ã—ã¦ãã¦ãƒ‘スã®é€šã£ãŸãƒ‡ã‚£ãƒ¬ã‚¯ãƒˆãƒªã«ä¿å˜ï¼Œchmod +xã™ã‚‹ï¼ˆãƒ‘ッケージ管ç†ã‚·ã‚¹ãƒ†ãƒ ã§å°Žå…¥ã§ããŸã‚Šã™ã‚‹ã®ã‹ãªï¼Žç„¡ã•ãã†ã ã£ãŸï¼‰ï¼Žæ™®é€šã«GUI版もå„OS用ã«ã‚ã‚‹ã—，CUI版ãŒã„ã„人ã¯ã“ã‚Œã§ã„ã„． ã§ï¼Ž ã“ã†ã„ã†æ„Ÿã˜ã®äºŒæ®µçµ„ã¿ã®PDFを与ãˆã‚‹ã¨ï¼Œ ã“ã†ã„ã†æ„Ÿã˜ã§ã„ã„æ„Ÿã˜ã«ãƒ‘ーツをèªè˜ã—ã¦ãã‚Œã¦ï¼ˆâ€»æ³¨ï¼šã“ã®ä¸é–“ファイルを出ã—ãŸã„å ´åˆã¯ -sm オプションを付ã‘ã¦å®Ÿè¡Œã™ã‚Œã°ã‚ˆã„）， ã“ã†ã„ã†æ„Ÿã˜ã«å‡ºåŠ›ã—ã¦ãれる． å˜ç´”ãª
Formally modelling and verifying the FreeRTOS real-time operating system - White Rose eTheses Online
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://ieeexplore.ieee.org/document/1420919
Illuminate | Learn Your Way
https://www.jstage.jst.go.jp/article/jssst/36/3/36_3_33/_pdf
https://dl.acm.org/doi/10.1145/3341301.3359640
https://dl.acm.org/doi/abs/10.1145/3552326.3567504
ChatGPTãªã©ã®å¤§è¦æ¨¡è¨€èªžãƒ¢ãƒ‡ãƒ«ã¯ã©ã‚“ãªç†è«–ã§æˆç«‹ã—ãŸã®ã‹ï¼Ÿé‡è¦è«–æ–‡24個ã¾ã¨ã‚
GitHub - hunkimForks/chatgpt-arxiv-extension: A browser extension that enhance search engines with ChatGPT
https://www.researchgate.net/publication/345152826_Towards_making_formal_methods_normal_meeting_developers_where_they_are
https://dl.acm.org/doi/abs/10.1145/3519939.3523704
https://www.researchgate.net/publication/228985001_Typing_Functional_Stack-Based_Languages
https://people.eng.unimelb.edu.au/rizkallahc/publications/echronos_verif.pdf
http://staff.ustc.edu.cn/~fuming/research/certiucos/paper.pdf
Featherweight VeriFast
Verifying FreeRTOS; a feasibility study | TU Delft Repository
{{#tags}}- {{label}}
{{/tags}}