CompCert - Main page
The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees
写経のすすめ 般若心経ダウンロード
参加をご希望の方は、事前にお申込みください。 般若心経 一巻を写経いたします。 写経後は般若心経をお唱えし、お納めいただきます。 お納めいただいた写経は12月に法要を行い、合掌観音下に納経いたします。 写経の歴史 写経は、私達の祖先から受け継がれて浄行として、今もなお多くの人々によって根強く信奉されています。 わが国での写経の歴史は、日本書紀に「書生を聚めて、始めて一切経を川原寺に写す。」とあり、その後、聖武天皇のころ、写経司を任命し、これら専門の者が書写して収蔵し、また、諸国の国分寺等に配布されました。 それがおそらく平安時代ごろから、修行の為や、病気平癒、先祖供養など祈りや願いを目的とした個人的写経が始まったようです。 このように写経には長い歴史があり、多くの人の信仰生活の心のやすらぎを与える糧となってきました。 それは身と心と調えて行う写経の心が、そのまま仏さまの教えの心に通うからに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
