研究者学術情報データベース

タカヤマ　ユキヒデ
高山　幸秀
TAKAYAMA Yukihide

所属理工学部数理科学科

職名教授

論文
1.	2018/12	On equivariant formal deformation theory │ Rendiconti del Circolo Matematico di Palermo Series 2 │ 67 (3),409-419 (共著)
2.	2017	On Kodaira type vanishing for Calabi-Yau threefolds │ Beitraege zur Algebra und Geometrie │ 58 (1),1-11 (単著)
3.	2014	Kodaira type vanishing theorem for the Hirokado variety. │ Communications in algebra │ 42 (11),4744--4750 (単著)
4.	2012	Raynaud-Mukai construction and Calabi-Yau threefolds in positive characteristic │ Proc. Amer. Math. Soc. │ 140 (12),4063-4074 (単著)
5.	2010	On non-vanishing of cohomologies of generalized Raynaud polarized surfaces │ Journal of pure and applied algebra │ 214 (7),1110-1120 (単著)
6.	2008	Componentwise linear ideals with minimal or maximal Betti numbers │ Ark. Mat. │ 46 (1),69-75 (共著)
7.	2008	Generalized complete intersections with linear resolutions. │ Arch. Math. (Basel) │ 90 (5),385-394 (共著)
8.	2007	Monomial ideals with linear quotients whose Taylor resolutions are minimal │ Bull. Math. Soc. Sci. Math. Roumanie (N.S.) │ 50(98) (2),161-166 (共著)
9.	2007	Stanley-Reisner ideals whose powers have finite length cohomologies │ Proc. Amer. Math. Soc. │ 135 (8),2355-2364 (共著)
10.	2005	Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals │ Bull. Math. Soc. Sci. Math. Roumanie (N.S.) │ 48(96) (3),327-344 (単著)
11.	2005	On the radical of a monomial ideal │ Arch. Math. (Basel) │ 85 (5),397-408 (共著)
12.	2003	Approximations of generalized Cohen-Macaulay modules │ Illinois J. Math. │ 47 (4),1287-1302 (共著)
13.	2002	Resolutions by mapping cones │ Homology, Homotopy and Applications │ 4 (2),277-294 (共著)
14.	2001	Normality of Affine Semigroup Rings Generated by 2-dimensional Cone Type Simplicial Complexes │ Communications in Algebra │ ,Volume 29, Number 4 (単著)
15.	1999	Steinitz' Theorem Analogue for Two-Dimensional Cohen-Macaulay Complexes │ Academic Press, Advances in Applied Mathematics │ ,22, pp200-218 (共著)
16.	1998	Towards Cycle Filling as Parallelization │ RIMS Kokyuroku │ ,Vol. 996, pp207-221 (単著)
17.	1996/04	高次元オートマトンからの並行プロセスの抽出 │ Lectire Note in Computer Science │ ,No.1059 72-86 Springer-Verlag (単著)
18.	1995	高次元オートマトンにおける並行プロセスの並列化 │ 数理解析研究所講究録 │ ,Vol.918,238-252 (単著)
19.	1994/04	Lifschitz's Logic of Calculable Numbers and Optimizations in Program Extraction │ (共著)
20.	1994/02	Defining Concurrent Processes Constructively │ ,Vol.122,137-164 (単著)
21.	1993	QPC<ss2>2</ss2> : A Constructive Calculus with Parameterized Specifications │ ,Vol.15 (単著)
22.	1992/06	Defining concurrent Processes Constructively │ (単著)
23.	1992/05	構成的プログラミングシステムSHUTEN │ 『人工知能学会誌』人工知能学会 │ 7 (4) (単著)
24.	1991	Extraction of Redundancy-free Programs from Constructive Natural Deduction Proofs │ ,Vol.12 (単著)
25.	1990/11	構成的論理を応用した下流工程CASEツール │ 『沖電気研究開発本部 1990年度成果発表会予稿集』 │ (単著)
26.	1990/10	証明コンパイラにおける拡張射影手法 │ 『コンピュータソフトウェア』日本ソフトウェア科学会 │ 7 (4) (単著)
27.	1990/09	QPC2: A Second Order Logic for Higher Order Programming │ ICOT テクニカルレポート │ ,No.539 (単著)
28.	1990/04	フォーマルアプローチによるソフトウェア開発 │ 『沖電気研究開発』 │ ,Vol.57 No.1 (共著)
29.	1989/09	Extended Projection - a new method to extract efficient programs from constructive proofs │ (単著)
30.	1989	Extended Projection Method-A new method to extract efficient programs from constructive proofs │
31.	1988	QPC : QJ-based Proof Compiler-Simple examples and analysis │ ,300
32.	1987	Writing Programs as QJ-Proofs and Compiling into PROLOG Programs │