Mercurial > hg > Papers > 2016 > kaito-master

changeset 15:57b390dce7df

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add css
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Sun, 14 Feb 2016 19:07:10 +0900
parents 995f2db46e52
children bea98599d11f
files paper/comp.txt paper/envdata.txt paper/judge.tex paper/master_paper.idx paper/sample.c paper/sample.ll paper/sample.pdf paper/sample.s paper/sample0.s paper/sample2.pdf slide/blank.css slide/blank.html slide/themes/blank/print.css slide/themes/blank/projection.css slide/themes/blank/screen.css
diffstat 14 files changed, 491 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/comp.txt	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,3 @@
+C 4.85
+CbC 3.10
+Scheme 39.24
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/envdata.txt	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,6 @@
+LLVM/clang 3.35
+"LLVM/clang -O2" 1.30
+"LLVM/clang (old)" 23.30
+Micro-C 1.29
+GCC 14.73
+"GCC -O2" 12.96
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/judge.tex	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,33 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%論文審査会委員署名用ページ%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\pagestyle{empty} 
+\vspace*{5cm}
+本論文は、修士(工学)の学位論文として適切であると認める。
+\vspace*{2cm}
+\begin{flushright}
+%¥makebox[10cm][l]{
+\begin{minipage}[t]{7cm}
+\begin{center}
+{\bf 論 文 審 査 会}
+\end{center}
+
+\vspace{1cm}
+\underline{\hspace{6cm}印}\\ 
+（主\hspace{0.5em}査）\hspace{0.5em}和田 知久 氏
+
+\vspace{1cm}
+\underline{\hspace{6cm}印}\\ 
+（副\hspace{1em}査）\hspace{1em}岡崎 威生 氏
+
+\vspace{1cm}
+\underline{\hspace{6cm}印}\\ 
+（副\hspace{1em}査）\hspace{1em}姜 東植 氏
+
+\vspace{1cm}
+\underline{\hspace{6cm}印}\\ 
+（副\hspace{1em}査）\hspace{1em}河野 真治 氏
+
+\end{minipage}
+\end{flushright}
+\newpage
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/sample.c	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,9 @@
+int add(int a, int b){
+  return a + b;
+}
+
+int main(){
+  int res;
+  res = add(1,1);
+  return res;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/sample.ll	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,25 @@
+; ModuleID = 'sample.c'
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.11.0"
+
+; Function Attrs: nounwind ssp uwtable
+define i32 @add(i32 %a, i32 %b) #0 {
+entry:
+  %add = add nsw i32 %a, %b
+  ret i32 %add
+}
+
+; Function Attrs: nounwind ssp uwtable
+define i32 @main() #0 {
+entry:
+  %call = tail call i32 @add(i32 1, i32 1)
+  ret i32 %call
+}
+
+attributes #0 = { nounwind ssp uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="core2" "target-features"="+cx16,+fxsr,+mmx,+sse,+sse2,+sse3,+ssse3" "unsafe-fp-math"="false" "use-soft-float"="false" }
+
+!llvm.module.flags = !{!0}
+!llvm.ident = !{!1}
+
+!0 = !{i32 1, !"PIC Level", i32 2}
+!1 = !{!"clang version 3.9.0 "}
Binary file paper/sample.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/sample.s	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,43 @@
+	.section	__TEXT,__text,regular,pure_instructions
+	.macosx_version_min 10, 11
+	.globl	_add
+	.align	4, 0x90
+_add:                                   ## @add
+	.cfi_startproc
+## BB#0:
+	movl	%edi, -4(%rsp)
+	movl	%esi, -8(%rsp)
+	movl	-4(%rsp), %esi
+	addl	-8(%rsp), %esi
+	movl	%esi, %eax
+	retq
+	.cfi_endproc
+
+	.globl	_main
+	.align	4, 0x90
+_main:                                  ## @main
+	.cfi_startproc
+## BB#0:
+	pushq	%rbp
+Ltmp0:
+	.cfi_def_cfa_offset 16
+Ltmp1:
+	.cfi_offset %rbp, -16
+	movq	%rsp, %rbp
+Ltmp2:
+	.cfi_def_cfa_register %rbp
+	subq	$16, %rsp
+	movl	$1, %eax
+	movl	$0, -4(%rbp)
+	movl	%eax, %edi
+	movl	%eax, %esi
+	callq	_add
+	movl	%eax, -8(%rbp)
+	movl	-8(%rbp), %eax
+	addq	$16, %rsp
+	popq	%rbp
+	retq
+	.cfi_endproc
+
+
+.subsections_via_symbols
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paper/sample0.s	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,52 @@
+	.section	__TEXT,__text,regular,pure_instructions
+	.macosx_version_min 10, 11
+	.globl	_add
+	.align	4, 0x90
+_add:                                   ## @add
+	.cfi_startproc
+## BB#0:
+	pushq	%rbp
+Ltmp0:
+	.cfi_def_cfa_offset 16
+Ltmp1:
+	.cfi_offset %rbp, -16
+	movq	%rsp, %rbp
+Ltmp2:
+	.cfi_def_cfa_register %rbp
+	movl	%edi, -4(%rbp)
+	movl	%esi, -8(%rbp)
+	movl	-4(%rbp), %esi
+	addl	-8(%rbp), %esi
+	movl	%esi, %eax
+	popq	%rbp
+	retq
+	.cfi_endproc
+
+	.globl	_main
+	.align	4, 0x90
+_main:                                  ## @main
+	.cfi_startproc
+## BB#0:
+	pushq	%rbp
+Ltmp3:
+	.cfi_def_cfa_offset 16
+Ltmp4:
+	.cfi_offset %rbp, -16
+	movq	%rsp, %rbp
+Ltmp5:
+	.cfi_def_cfa_register %rbp
+	subq	$16, %rsp
+	movl	$1, %eax
+	movl	$0, -4(%rbp)
+	movl	%eax, %edi
+	movl	%eax, %esi
+	callq	_add
+	movl	%eax, -8(%rbp)
+	movl	-8(%rbp), %eax
+	addq	$16, %rsp
+	popq	%rbp
+	retq
+	.cfi_endproc
+
+
+.subsections_via_symbols
Binary file paper/sample2.pdf has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slide/blank.css	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,130 @@
+body {
+  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
+}
+a:link,
+a:visited {
+  color: #000000;
+}
+.slide {
+  color: #000000;
+}
+.slide h1 {
+  font-size: 200%;
+  color: black;
+  text-align: center;
+}
+.slide h1.fullscreen {
+  position: absolute;
+  top: 40%;
+  width: 100%;
+}
+.slide h1.hidden {
+  display: none;
+}
+.slide hX {
+  font-size: 250%;
+  color: white;
+  text-align: center;
+  font-weight: bold;
+}
+.slide hX.fullscreen {
+  position: absolute;
+  top: 40%;
+  width: 100%;
+}
+.slide hX.hidden {
+  display: none;
+}
+.slide h2 {
+  font-size: 220%;
+  background-color: #808db5;
+  color: white;
+  padding: 5px;
+}
+.slide h3 {
+  font-size: 180%;
+}
+.slide name {
+  font-size: 180%;
+  background-color: #ffcc00;
+}
+.slide name.fullscreen {
+  position: absolute;
+  top: 40%;
+  width: 100%;
+}
+.slide .stepcurrent {
+  color: #dd0000;
+}
+.slide .step {
+  color: #c0c0c0;
+}
+div.highlight {
+  background-color: #ffffa9;
+  display: inline-block;
+  _display: inline;
+}
+div > ul {
+  list-style-type: square;
+  font-size: 160%;
+}
+div > ol {
+  font-size: 160%;
+}
+li {
+  margin-bottom: 15px;
+}
+p,
+dt,
+dd,
+td {
+  font-size: 150%;
+}
+th {
+  font-size: 90%;
+}
+p.emphasize {
+  font-size: 180%;
+}
+pre {
+  font-size: 100%;
+}
+.code {
+  background-color: #ffffa9;
+  padding: 5px;
+}
+.small_code {
+  font-size: 90%;
+  padding: 2px;
+}
+.smaller_code {
+  font-size: 80%;
+  padding: 2px;
+}
+code {
+  font-size: 100%;
+  background-color: #ffffa9;
+  padding: 5px;
+}
+.footnote a:first-of-type {
+  text-decoration: none;
+}
+p.footnote {
+  font-size: 88%;
+}
+.help p,
+.help td {
+  font-size: 88%;
+}
+/********
+ * example gradient background using css3
+ */
+.slide {
+  background-image: -webkit-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
+  background-image: -moz-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
+}
+.slide.cover,
+.slide.title {
+  background-image: -webkit-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
+  background-image: -moz-linear-gradient(top, #ffffff, #ffffff, #ffffff, #ffffff);
+}
--- a/slide/blank.html	Sun Feb 14 18:58:04 2016 +0900
+++ b/slide/blank.html	Sun Feb 14 19:07:10 2016 +0900
@@ -18,11 +18,11 @@
       -->
 
     <!-- style sheet links -->
-    <link rel="stylesheet/less" href="themes/blank/projection.css.less"  media="screen,projection">
-    <link rel="stylesheet/less" href="themes/blank/screen.css.less"      media="screen">
-    <link rel="stylesheet/less" href="themes/blank/print.css.less"       media="print">
+    <link rel="stylesheet" href="themes/blank/projection.css"  media="screen,projection">
+    <link rel="stylesheet" href="themes/blank/screen.css"      media="screen">
+    <link rel="stylesheet" href="themes/blank/print.css"       media="print">
 
-    <link rel="stylesheet/less" href="blank.css.less"    media="screen,projection">
+    <link rel="stylesheet" href="blank.css"    media="screen,projection">
 
     <!-- Notes about less css support
          - all less stylesheets (*.css.less) need to get listed/loaded first (before the less.js script)
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slide/themes/blank/print.css	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,35 @@
+/*********************************
 * CSS @media print rules (not projection or screen)
 */
+body {
+  font-size: 12pt;
+}
+.slide {
+  display: block !important;
+  page-break-inside: avoid;
+  /********************
   * Extra styling for first slide (title/cover slide)
   */
+}
+.slide h1 {
+  page-break-after: avoid;
+}
+.slide ul {
+  page-break-inside: avoid;
+}
+.slide h1 {
+  border-top: 2pt solid gray;
+  border-bottom: 1px dotted silver;
+}
+.slide:first-child {
+  margin-bottom: 3em;
+}
+.slide:first-child h1 {
+  font-size: 200%;
+  border: none;
+  margin: 0.5em 0 0.25em;
+}
+.slide:first-child h3 {
+  margin: 0;
+  padding: 0;
+}
+.slide:first-child h4 {
+  margin: 0 0 0.5em;
+  padding: 0;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slide/themes/blank/projection.css	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,126 @@
+/*********************************
+ * CSS @media projection rules (not print or screen)
+ *
+ * 1) projection -> slideshow mode (display one slide at-a-time; hide all others)
+ * 2) screen     -> outline mode (display all slides-at-once on screen) 
+ * 3) print      -> print (and print preview)
+ *
+ * toggle between projection/screen (that is, slideshow/outline) mode using t-key
+ */
+html,
+body,
+.presentation {
+  margin: 0;
+  padding: 0;
+}
+.slide {
+  display: none;
+  /* note: only display current slide in projection mode */
+  position: absolute;
+  top: 0;
+  left: 0;
+  margin: 0;
+  padding: 2% 4% 0% 4%;
+  /* css note: order is => top right bottom left  */
+  -moz-box-sizing: border-box;
+  -webkit-box-sizing: border-box;
+  box-sizing: border-box;
+  width: 100%;
+  height: 100%;
+  /* css note: lets use border-box; no need to add padding+border to get to 100% */
+  overflow-x: hidden;
+  overflow-y: auto;
+  z-index: 2;
+}
+.slide.current {
+  display: block;
+}
+/* note: only display current slide in projection mode */
+/*****
+ *  layout block structure:
+ *
+ *  .layout
+ *    > #header
+ *    > #footer
+ */
+.layout #header,
+.layout header {
+  position: fixed;
+  top: 0;
+  left: 0;
+  width: 100%;
+  height: 0.5em;
+  z-index: 1;
+}
+.layout #footer,
+.layout footer {
+  position: fixed;
+  top: auto;
+  bottom: 0;
+  padding: 1em 0;
+  /* css note: order is => 1st top,bottom; 2nd right,left */
+  width: 100%;
+  height: 4em;
+  z-index: 5;
+  /* todo: move font-size and font-style to blank.css */
+  font-size: 100%;
+  font-weight: bold;
+  /* todo: move font-size and font-style to blank.css */
+}
+.layout #footer h1,
+.layout footer h1 {
+  display: block;
+  margin: 0;
+  padding: 0 1em;
+  font-size: 50%;
+}
+.layout #footer h2,
+.layout footer h2 {
+  display: block;
+  margin: 0;
+  padding: 0 1em;
+  font-size: 50%;
+  font-style: italic;
+}
+/*********************************
+ * general text-alignment classes
+ */
+.left {
+  text-align: left;
+}
+.center {
+  text-align: center;
+}
+.right {
+  text-align: right;
+}
+/*********************************
+ * general _absolute_ font-size classes
+ */
+.small {
+  font-size: 97%;
+}
+.x-small {
+  font-size: 88%;
+}
+.xx-small {
+  font-size: 82%;
+}
+.large {
+  font-size: 103%;
+}
+.x-large {
+  font-size: 112%;
+}
+.xx-large {
+  font-size: 118%;
+}
+/*********************************
+ * general _relative_ font-size classes
+ */
+.smaller {
+  font-size: 82%;
+}
+.larger {
+  font-size: 118%;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/slide/themes/blank/screen.css	Sun Feb 14 19:07:10 2016 +0900
@@ -0,0 +1,25 @@
+/*********************************
+ * CSS @media screen (not projection or print)
+ *
+ * 1) projection -> slideshow mode (display one slide at-a-time; hide all others)
+ * 2) screen     -> outline mode (display all slides-at-once on screen) 
+ * 3) print      -> print (and print preview)
+ *
+ * toggle between projection/screen (that is, slideshow/outline) mode using t-key
+ */
+.slide {
+  display: block !important;
+  margin: 1.5em 0 0;
+  border-top: 1px solid #888;
+}
+.slide h1 {
+  border-bottom: 1px solid #AAA;
+}
+.slide:first-child {
+  margin: 0;
+  border: none;
+}
+.slide:first-child h1 {
+  border: none;
+  padding-top: 1.5em;
+}