Kazimir Majorinc

Kazimir Majorinc

Kazimir Majorinc 
Kazimir Majorinc
Zagreb, Croatia
-

Upcoming

New presentations on Lisp, starting in November or December 2015

Books

The gap between explicit and implicit processing,  ~2015. In work.
New Lisp book
As powerful as possible, Multimedia Institute, Zagreb, 2015

Logic, (with P. Gregorek and M. Turk),  Školska Knjiga, Zagreb, 1992.

Software

Default, Newlisp library (about 5000 lines, 300 functions and 150 fexprs), 2008-13.

Finder-P1 and Finder-P2, Newlisp programs for automated theorem finding in propositional calculus, 2011. Detailed description in article.

Two hundred thousands reduced λ-expressions: 1st, 2nd, 3rd, 4th, 5th, 6th, 7th, 8th, all.

Lisp.properties for Scite.

Sexpron I, Newlisp program for generation of symbolic expressions and one million generated symbolic expressions, (compressed file), Aaron Schwartz Memorial Hackathon, Hacklab Mama, Zagreb, November 8-10th, 2013.

Popular articles

Political ideology of programmers,  2010.

A few examples of Lisp code typography,  2013.

Edsger W. Dijkstra on Lisp, 2010.

Why Dijkstra didn't like Lisp?, 2013.

The speed of eval in some Lisp implementations, 2008−2013.

Three canvas examples in Weblisp, 2008.

Missing link between code and data, 2011.

Word or two about algorithms, PC Chip, 21 (1997), p. 20-1

Kretian and liar, one paradox or two?, (with P. Gregorek and M. Turk), Bulletin of Croatian Philosophical Society, Vol. 2. No 3., 1933.

A look in the past - Anthology of primitive poetry, Godine, No 1., ZG, 1991.

(with M. Miklić and S. Puljar), Reaction of local people to prehistoric-type house built at the workshop, International workshop for prehistoric architecture, Šolta, 1990., in Bulletin of ...

Otfried Hoffe: Universal ethics and power of reasoning, Filozofska istrazivanja, No 38-9., Vol. 10. (1990.)

Željko Loparić: Kant and the problem of a priori intuitionistyc semantics, Filozofska istrazivanja, No 38-39., Vol. 10. (1990.)

Lectures of New Acropolis: Introduction to the wisdom of east and west, Filozofska istrazivanja, No 38-39., Vol. 10. (1990.)

Volker Gerhardt: Mind and sense of reasoning - about actuality of political philosophy of Immanuel Kant, Filozofska istrazivanja, No 35., Vol. 10. (1990.)

Gunther Bien: Civil life - practical philosophy of Joachim Ritter, Filozofska istrazivanja, No 35., Vol. 10. (1990.)

Technical articles

How many syllogisms are there?, 2013

On Pitman's Special Forms in Lisp, 2013

Crawler tractor, 2013.

Gödel Numbers of Symbolic Expressions and Missing Missing Element, 2013.

Automated theorem finding in propositional calculus, 2011.

Calibration of glass electrode in terms of H+ Concentration by titration of weak acid in cells with and without Liquid Junction, (with T. Gopurenko, Vl. Simeon and V. Tomišić), Croatica Chemica Acta, Vol. 79 No. 4 December 2006.

Memoization, The Generator, Vol 2. No 1. February 2006., pp. 3-15.

Unification in propositional calculus, The Generator, Vol 1. No 1., March 2004., pp. 13-24.

Good looking circles, The Generator, Vol 1. No 1. March 2004., pp. 3-8.

Electrical interfacial layer at solid/ liquid Interface, (with N. Kallay, A. Čop, D. Kovačević, T. Preočanin, and S. Žalac), Ann. Univ. Mariae Curie- Sklodowska, Sect. AA Chem. 57, 2002.

Utjecaj elektrolita na agregaciju koloidnih cestica, (with T. Preocanin, S. Žalac, I. Kobal, N. Kallay), XVII. CCC, Osijek: HKD i HDKI, 2001.

Calibration of glass electrode in terms of [H+] and determination of stoichiometric equilibrium constants, (with T. Gopurenko and V. Simeon), Math-Chem-Comp conference, Dubrovnik, 1999.

Ellipse-Circle dilemma and inverse inheritance, In: Proceedings of the 20th International Conference on Information Technology Interfaces, Pula, Croatia, June 16-19. 1998. (ITI 98), pp. 627-32.

Elimination of circulus vitiousus from formulas in the form of a graph, Proceedings of MIPRO 98, Opatija, 18-22. May 1998.

Extension rule for non-clausal propositional calculus, Fundamenta Informaticae, Vol 31, No 2, 1997., pp. 107-16

Data structures for non-clausal propositional reasoning in C++, MIPRO 97,  1997.

Heaps, PC Chip, No 30., November 1997.

Binary Trees, PC Chip, No 29., October 1997.

Linked lists, PC Chip, No 28., September 1997.

Array, stack, queue, PC Chip, No 26/7., Jully/August 1997.

Sorting with comparison: three advanced algorithms, PC Chip, No 25., June 1997.

Sorting with comparison: three simple algorithms, PC Chip, No 24., May 1997.

Sorting with transformations, PC Chip, No 22., March 1997.

Word or two about algorithms, PC Chip, 21 (1997), p. 20-1
Dynamic memory management and functions in C++, PC Chip, No 20., January 1997.

Method of logical equations for automated theorem finding, Dept of Math, Faculty of Natural Sciences and Mathematics, UniZG, 1994.

Presentations

Function FUNCTION, Hacklab Mama, Zagreb, January 25, 2014.

PLANNER in 1972, Hacklab Mama, Zagreb, January 18, 2014.

MATHCLESS and Actors, Hacklab Mama, Zagreb, January 4, 2014.

Discursive overview of PLANNER, Hacklab Mama, Zagreb, December 14, 2013.

The structural foundations of problem solving in Hewitt's PLANNER, Hacklab Mama, Zagreb, December 7, 2013. 

PLANNER in 1970, Hacklab Mama, Zagreb, 30. November 2013.

PLANNER,   Hacklab Mama, Zagreb, 23. November 2013.

Matchless, Hacklab Mama, Zagreb, 16. November 2013.

Weizenbaum on FUNARG, Hacklab Mama, Zagreb, November 2, 2013.

Sandewall's Lisp A, Hacklab Mama, Zagreb, October 26, 2013.

PDP–1, BBN and PDP–36 Lisp, Hacklab Mama, Zagreb, October 19, 2013.

Cooper's equivalences, Hacklab Mama, Zagreb, October 12, 2013.

Wooldridge and Lisp, Hacklab Mama, Zagreb, September 28, 2013.

CONVERT, Hacklab Mama, Zagreb, June 22, 2013.

Landin and Lisp, Hacklab Mama, Zagreb, June 15, 2013.

Imperative applicative expressions, Hacklab Mama, Zagreb, June 1, 2013.

Mechanical evaluation of expressions (II.), Hacklab Mama, Zagreb, May 18, 2013.

Mechanical evaluation of expressions,   Hacklab Mama, Zagreb, May 11, 2013.

LISP 2 (II.), Hacklab Mama, Zagreb, April 20, 2013.

LISP 2 (I.), Hacklab Mama, Zagreb, April 13, 2013.

Ambitious reformer Lionello Lombardi, Hacklab Mama, Zagreb, March 23, 2013.

LISP — Operations and applications (II.), Hacklab Mama, Zagreb, March 16, 2013.

LISP — Operations and applications (I.), Hacklab Mama, Zagreb, March 9, 2013.

Hart's macros, Hacklab Mama, Zagreb, March 2, 2013.

First international Lisp conference (II.), Hacklab Mama, Zagreb, February 16,  2013.

First international Lisp conference (I.), Hacklab Mama, February 9, 2013.

Gilmore's abstract machine, Hacklab Mama, February 2, 2013.

A basis for a mathematical theory of computation (II.), Hacklab Mama, January 19, 2013.

A basis for a mathematical theory of computation, Hacklab Mama, Zagreb, January 12, 2013.

Lisp 1.5 (III.), Hacklab Mama, Zagreb, January 5, 2013.

Lisp 1.5 (II.), Hacklab Mama, Zagreb, December 15, 2012.

Lisp 1.5 (I.), Hacklab Mama, Zagreb, December 8, 2012.

Toward Lisp 1.5 (II.), Hacklab Mama, Zagreb, December 1, 2012.

Who wrote the first Lisp compiler?, Hacklab Mama, Zagreb, November 17, 2012

S-functions and Turing machines, Hacklab Mama, Zagreb, November 10, 2012.

Toward Lisp 1.5 (I.), Hacklab Mama, Zagreb, November 3, 2012.

Recursive functions on symbolic expression (IV.), Hacklab Mama, Zagreb, October 27, 2012.

Recursive functions on symbolic expression (III.), Hacklab Mama, Zagreb, October 20, 2012.

Recursive functions on symbolic expression (II.), Hacklab Mama, Zagreb, October 13, 2012.

Recursive functions on symbolic expression (I.), Hacklab Mama, Zagreb, October 6, 2012.

From common reason to recursive functions, Hacklab Mama, Zagreb, September 29, 2012.

Advice Taker, Hacklab Mama, Zagreb, September 15, 2012.

Algebraic language for processing of symbolic expressions (II.), Hacklab Mama, July 28, 2012.

Algebraic language for processing of symbolic expressions (I.), Hacklab Mama, Zagreb, July 21, 2012.

Work in committee, Hacklab MaMa, Zagreb, July 14, 2012.

McCarthy's notes on language, Hacklab MaMa, Zagreb, July 7, 2012.

My Lisp blog, NSND Belgrade, April 2011.

Why Dijkstra didn't like Lisp, NSND Split, August 2011.

Hygienic Fexprs, NSND Split, August 2010.

On B- and BM-partitions, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1998.

Ellipse-Circle Dilemma and Inverse Inheritance, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1998.

Hard cases for 3-SAT problems and Davis- Putnam algorithm, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Extension rule and non-CNF propositional reasoning, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Gallo-Scutella hierarchy of propositional formulas, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Van Gelder's method for non-CNF SAT problem, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Method of logical equations for automated theorem finding, Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1994.

Copyright Kazimir Majorinc 2013.