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-Specific 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-specific 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