The 1998 ACM Computing Classification System — Association for Computing Machinery
About ACM ACM, the world's largest educational and scientific computing society, delivers resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources. [Learn More about ACM...]
Unembedding Domain-Specific Languages
Unembedding Domain-Speciï¬c Languages Robert Atkey Sam Lindley Jeremy Yallop LFCS, School of Informatics, The University of Edinburgh {bob.atkey,sam.lindley,jeremy.yallop}@ed.ac.uk Abstract Higher-order abstract syntax provides a convenient way of embed- ding domain-speciï¬c languages, but is awkward to analyse and ma- nipulate directly. We explore the boundaries of higher-order abstract syntax. Ou
æ¾å°¾ãã¿ã®è«–æ–‡ã®æ›¸ã方：英語論文 | æ¾å°¾ 豊
ã‚ーã€ã‚„ã£ã±ã‚Šã“ã®å›½éš›ä¼šè°ã¯é›£ã—ã„ãªã€‚日本人ã»ã¨ã‚“ã©é€šã£ã¦ãªã„ã—ãªã。çµæ§‹é ‘å¼µã£ãŸã‚“ã ã‘ã©ãªã。ã§ã‚‚査èªè€…ã€ãªã‚“ã‹è‰¯ã分ã‹ã‚‰ãªã„ã“ã¨ã‚’言ã£ã¦ã‚‹ã€‚ã“ã„ã¤åˆ†ã‹ã£ã¦ãªã„ãªã€‚ã“ã‚“ãªæŸ»èªè€…ã«å½“ãŸã‚‹ã¨ã¯é‹ãŒæ‚ªã„。３人ä¸ï¼‘人ã¯ã™ã”ãã„ã„コメントãªã®ã«ãªã。ã¾ã€ã„ã„ã‚„ã€ç ”究会論文ã§ã‚‚書ã“ã†ã€‚ （※ã«æˆ»ã‚‹ï¼‰ ç§ã‚‚以å‰ã¯ã“ã‚“ãªæ„Ÿã˜ã§ã—ãŸã€‚主è¦ãªå›½éš›ä¼šè°ã®ãƒ¬ãƒ™ãƒ«ã¯é«˜ã„ã¨æ€ã£ã¦ã¾ã—ãŸã€‚今ã§ã¯ã€ãã†ã¯æ€ã„ã¾ã›ã‚“。何ã¨ã„ã£ã¦ã‚‚ã€ã¾ãšã¯å®Œæˆåº¦ã®å•é¡Œã§ã™ã€‚ 完æˆåº¦ã‚’上ã’ã‚‹ã“ã¨ã®é‡è¦æ€§ 完æˆåº¦ã‚’上ã’ã‚‹ã¨ã¯ã€è‡ªåˆ†ã§ä¿®æ£ã™ã‚‹ã¨ã“ã‚ãŒãªããªã‚‹ã¾ã§ã€ä¿®æ£ã‚’ç¹°ã‚Šè¿”ã™ã“ã¨ã§ã™ã€‚ 上ã®ä¾‹ã§ã¯ã€åˆç¨¿ã®æ®µéšŽã§æŠ•ç¨¿ã—ã¦ã„ã¾ã™ã。ã“ã‚Œã§é€šã›ã‚‹äººã¯èª°ã‚‚ã„ã¾ã›ã‚“。ã“ã“ã§ç§ãŒã‚ˆã目安ã«ä½¿ã£ã¦ã„ã‚‹ï¼’ã¤ã®çµŒé¨“則を紹介ã—ã¾ã—ょã†ã€‚ 執ç†æ™‚é–“ã®æ³•å‰‡ï¼š 経験上ã€æ¬¡ã®ã‚ˆã†ãªæ³•å‰‡ãŒã‚ã‚Šã¾ã™ã€‚「書ã“ã†ã€ã¨æ€ã£ã¦ã‹ã‚‰ã€åˆç¨¿ãŒã§ãã‚‹ã¾ã§ã®æ™‚é–“ã‚’a0ã¨ã—ã¾ã™ã€‚ã™ã‚‹ã¨ã€ç¬¬ï¼’
Springer Exemplar
Providing researchers with access to millions of scientific documents from journals, books, series, protocols, reference works and proceedings.
å°è«–æ–‡ã®æ›¸ã方・レãƒãƒ¼ãƒˆã®æ›¸ãæ–¹ è«–æ–‡ã®æ›¸ãæ–¹
å°è«–æ–‡ã®æ›¸ã方・レãƒãƒ¼ãƒˆã®æ›¸ã方サイトã«ã¤ã„㦠書ç±ã€Œå°å¦ç”Ÿã‹ã‚‰ã®å°è«–æ–‡ã€ã‚’発売 ã“ã®ãŸã³æ—¥æœ¬ã®åˆç‰æ•™è‚²ã«ä¸€çŸ³ã‚’投ãšã‚‹ã¹ã「主体的ã«å¦ã³ã€è€ƒãˆã€ãã—ã¦ã¾ã¨ã‚ã‚‹ å°å¦ç”Ÿã‹ã‚‰ã®å°è«–æ–‡ 教師・ä¿è·è€…ãŒçŸ¥ã£ã¦ãŠãã¹ãライティングã®ã‚¹ã‚ルã¨ã¯ã€ã‚’出版ã„ãŸã—ã¾ã—ãŸã€‚Kindle版もã”ã–ã„ã¾ã™ã€‚ã“ã®æœ¬ã¯ã€æ—¥æœ¬ã®åŸºç¤Žæ•™è‚²ã«æ¬ ã‘ã¦ã„るアカデミック・ライティングã«å¿…è¦ãªã‚¹ã‚ルã®éƒ¨åˆ†ã‚’解説ã™ã‚‹ã‚‚ã®ã§ã™ã€‚ 論文・レãƒãƒ¼ãƒˆã®æ›¸ãæ–¹ã®æ•™ç§‘書を発売 特ã«å¤§å¦ã‚„大å¦é™¢ã§ã®ä½¿ç”¨ã‚’想定ã—ãŸæ•™ç§‘書「å°è«–文・レãƒãƒ¼ãƒˆã®æ›¸ã方　パラグラフ・ライティングã¨ã‚¢ã‚¦ãƒˆãƒ©ã‚¤ãƒ³ã‚’é›ãˆã‚‹æ¼”習帳ã€ã‚’出版ã—ã¾ã—ãŸã€‚æ—¢ã«è¤‡æ•°ã®å¤§å¦ãƒ»å¤§å¦ç ”究室ã€å¦ç¿’塾やコンサルティングä¼æ¥æ§˜ãªã©ã‹ã‚‰æ³¨æ–‡ã‚’ã„ãŸã ã„ã¦ãŠã‚Šã¾ã™ã€‚åŒæ›¸ã«ã¯ã‚¢ãƒžã‚¾ãƒ³ã®Kindle版もã”ã–ã„ã¾ã™ã®ã§ã”利用ãã ã•ã„。 本書ã®ã”注文ã«é–¢ã—ã¦ã¯ã“ã¡ã‚‰ã‚’ã”覧ãã ã•ã„。書店様・大å¦ç”Ÿå”様å‘ã‘ã«ã¯å¸ã—ã‚‚è¡Œã£
英語論文ã«ä½¿ã†è¡¨ç¾æ–‡ä¾‹é›†ã®ãƒ¬ã‚¸ãƒ¥ãƒ¡
「英語論文ã«ä½¿ã†è¡¨ç¾æ–‡ä¾‹é›†ã€ã®ãƒ¬ã‚¸ãƒ¥ãƒ¡ ・ã“ã®ãƒ¬ã‚¸ãƒ¥ãƒ¡ã¯ã€è¿«æ‘純男 & Raeside,J.「英語論文ã«ä½¿ã†è¡¨ ç¾æ–‡ä¾‹é›†ã€ï¼ˆ1996å¹´ã€ãƒŠãƒ„メ社）ã®å†…容をã¾ã¨ã‚ã¦ã€å‚ç…§ã—ã‚„ ã™ã„よã†ã«HTMLå½¢å¼ã§è¡¨ã—ãŸã‚‚ã®ã§ã™ã€‚説明ç‰ã¯çœã„ã¦ã‚ã‚‹ã® ã§ã€è©³ã—ãã¯åŒæ›¸ã‚’å‚ç…§ã—ã¦ä¸‹ã•ã„。 ・必è¦ãªæ–‡ä¾‹ã‚’コピーã™ã‚‹å ´åˆã¯ã€ç¯„囲指定ã—ã¦å転ã—ãŸéƒ¨åˆ†ã« カーソルをã®ã›ãŸã¾ã¾å³ãƒœã‚¿ãƒ³ã‚’クリックã™ã‚‹ã¨ã„ã„ã§ã—ょã†ã€‚ ・転載ç‰ã¯å¾¡é 慮下ã•ã„。 Abstracted by M.KAMEGAYA 1997 １.å‰æ–‡ (a)è«–æ–‡ã®ç›®çš„ The purpose of this study is ... This study provides ... This paper attempts to ... I would like to examine ... ã€ç ”究ã™ã‚‹ã€‘investigate, show, consider,
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Bidirectional Evaluation with Direct Manipulation
http://cucis.ece.northwestern.edu/projects/DMS/publications/AnomalyDetection.pdf
Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions - Journal of Philosophical Logic
http://sebfisch.github.io/haskell-regexp/regexp-play.pdf
left over junk
Growing a Language HOSC-12-3-pp221-236.pdf
{{#tags}}- {{label}}
{{/tags}}