Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motiva
情報処理学会電子図書館サービス終了のお知らせ 平素は当サービスをご利用いただきまして、誠にありがとうございます。 この度、「情報処理学会 電子図書館 サービス」は本サイトを閉鎖しサービスを終了することとなりました。 サービス終了につきまして、下記の通りご案内申し上げます。 何卒ご了承いただきますようお願い申し上げます。 長年のご愛顧誠にありがとうございました。 ■サービス終了日時■ 2013年 4月1日(月) 午前10時 をもって本サイトを終了いたしました。 ■今後について 今後は情報処理学会が運営する、「情報学広場」をご利用ください。 「情報学広場」では、情報処理学会発行の出版物のうち、会誌、論文誌、研究報告、シンポジウム論文集、欧文誌、英文誌の創刊号から最新号までのデータが掲載されています。 情報学広場はこちら 情報学広場の利用方法はこちら 情報処理学会に関するお問い合わせはこちら
チュートリアルシリーズ『ソフトウェア工学の実証的アプローチ』第2回 プログラムの動的解析 公開日: 2012/03/26 | 29 巻 1 号 p. 1_47-1_60 石尾 隆
case-insensitive prefix search: default e.g., sig matches "SIGIR" as well as "signal"exact word search: append dollar sign ($) to word e.g., graph$ matches "graph", but not "graphics"boolean and: separate words by space e.g., codd modelboolean or: connect words by pipe symbol (|) e.g., graph|networkUpdate May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolea
イベント † 第21回プログラミングおよびプログラミング言語サマースクール(PPL Summer School 2024) 2024年9月9日(月) 立命館大学大阪いばらきキャンパス・オンライン ハイブリッド開催(日本ソフトウェア科学会41回大会併設) 幹事: 松田 一孝(東北大学) Seventeenth International Symposium on Functional and Logic Programming (FLOPS 2024) 15-17 May, 2024, Kumamoto PC Co-Chairs: Jeremy Gibbons (Oxford University), Dale Miller (INRIA Saclay) General Chair: Shin-ya Katsumata (National Institute of Informatics)
IPSJ Special Interest Group on Programming 新着情報 第151回プログラミング研究発表会 (PRO-2024-3) の案内を掲載しました.(2024-07) 2024年11月12-13日の開催 第150回プログラミング研究発表会 (PRO-2024-2) の案内を掲載しました.(2024-05) 2024年8月7-9日の開催(SWoPP2024内。共催研究会と調整の上,PROのセッションのスケジュールを決定します。) 第149回プログラミング研究発表会 (PRO-2024-1) の案内を掲載しました.(2024-02) 2024年6月13日の開催 第148回プログラミング研究発表会 (PRO-2023-5) の案内を掲載しました.(2023-12) 2024年3月21-22日の開催 第147回プログラミング研究発表会 (PRO-2023-4) の案
2024年3月27日開催の本会理事会において, 論文投稿案内および論文査読規定が改訂されました. また, 投稿者用マニュアルを追加しました. 詳しくは 投稿規定等 をご覧ください.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く